diff options
author | Lukas Larsson <[email protected]> | 2017-02-21 10:34:13 +0100 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-02-21 13:34:21 +0100 |
commit | bf9f79e81530b37d5ac4abe1494f270986d92cb4 (patch) | |
tree | 53787fece832c1460a274da79c669f6e6bc379e3 /lib/kernel/src/user.erl | |
parent | 8f0cfd160505e5ac6c100db7d1294c2e63dc0cbb (diff) | |
download | otp-bf9f79e81530b37d5ac4abe1494f270986d92cb4.tar.gz otp-bf9f79e81530b37d5ac4abe1494f270986d92cb4.tar.bz2 otp-bf9f79e81530b37d5ac4abe1494f270986d92cb4.zip |
kernel: Fix hanging os:cmd race condition
If the port terminates before Port ! close is issued,
there will be no 'closed' reply, so the old code would
hang. As it turns out there is no way to figure out
if a closed reply is supposed to come as that reply
is sent after all links and monitors are triggered.
So we have to use the synchronous port_close to close
the port.
Diffstat (limited to 'lib/kernel/src/user.erl')
0 files changed, 0 insertions, 0 deletions