diff options
author | Dan Gudmundsson <[email protected]> | 2017-03-21 11:59:14 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-04-06 15:45:06 +0200 |
commit | b901918e7616dd346bfeb3e3c22be608a27f8da4 (patch) | |
tree | 76f03bc8142886b8d2995fcbc4c63fe8521d6509 /bootstrap/bin | |
parent | 7504aef08abb050d5c3d56f77704d21e15a85b62 (diff) | |
download | otp-b901918e7616dd346bfeb3e3c22be608a27f8da4.tar.gz otp-b901918e7616dd346bfeb3e3c22be608a27f8da4.tar.bz2 otp-b901918e7616dd346bfeb3e3c22be608a27f8da4.zip |
Avoid livelock in driver when batching commands
With a bad timing in wx:batch() the driver could get stuck
handling commands without ever checking for gui events.
Avoid that by exiting loop after the driver have done cond_wait a
couple of times.
Diffstat (limited to 'bootstrap/bin')
0 files changed, 0 insertions, 0 deletions