diff options
author | Rickard Green <[email protected]> | 2016-02-23 18:31:52 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-02-23 20:07:08 +0100 |
commit | a5e66520d92d283d14f1352dcfd0ce889c27a0c5 (patch) | |
tree | 19f64093f0a090ffdbdbad58573545c453f50b18 /make/save_args | |
parent | 739a8f167d8adbb85f3c116c8c3bb20263f15349 (diff) | |
download | otp-a5e66520d92d283d14f1352dcfd0ce889c27a0c5.tar.gz otp-a5e66520d92d283d14f1352dcfd0ce889c27a0c5.tar.bz2 otp-a5e66520d92d283d14f1352dcfd0ce889c27a0c5.zip |
Do not wait for main lock when looking up process not running
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions