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 /lib/wx/c_src/wxe_helpers.h | |
| 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 'lib/wx/c_src/wxe_helpers.h')
0 files changed, 0 insertions, 0 deletions