diff options
author | Dan Gudmundsson <[email protected]> | 2014-01-17 17:07:14 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2014-01-22 16:33:01 +0100 |
commit | 84a83493c2bd9b01b3d90a2ebef49b0c698c0797 (patch) | |
tree | 2daf05624743c32f5b79eb6ab1f2a73adccd8158 /erts/emulator | |
parent | fb767602c08159daa2190129622ebf185606fd35 (diff) | |
download | otp-84a83493c2bd9b01b3d90a2ebef49b0c698c0797.tar.gz otp-84a83493c2bd9b01b3d90a2ebef49b0c698c0797.tar.bz2 otp-84a83493c2bd9b01b3d90a2ebef49b0c698c0797.zip |
wx: wx could hang if wxe_server died (or had died) when inside a callback
The pid is not available via driver_caller(..) (see wxeCommand constr)
inside driver_monitor callback.
Diffstat (limited to 'erts/emulator')
0 files changed, 0 insertions, 0 deletions