diff options
author | alisdair sullivan <alisdairsullivan@yahoo.ca> | 2014-07-07 21:40:32 +0000 |
---|---|---|
committer | alisdair sullivan <alisdairsullivan@yahoo.ca> | 2014-07-07 23:10:14 +0000 |
commit | 68089c629775526f1bb6df27c8713192ee39818d (patch) | |
tree | 85b84a389901fd7ceaa6cb863b7263f1467f1e5d /inttest/code_path_no_recurse/deps/bazdep/src/bazdep.erl | |
parent | 0d1ae7a4683b1e4a305eb848e70ec641984a1067 (diff) |
update group leaders when restarting user process
ensure any processes with a reference to an old user process as their
group leader are updated to use the new user process. this introduces a
slight delay at startup as the system must wait for the new processes
to be registered. there is a max wait period of three seconds (before
the shell command gives up and throws a timeout error)
fixes #314 ("rebar shell" somehow blocks using io:format in gen_server
handle_call)
Diffstat (limited to 'inttest/code_path_no_recurse/deps/bazdep/src/bazdep.erl')
0 files changed, 0 insertions, 0 deletions