diff options
author | Miles Bader <miles@gnu.org> | 1996-07-20 14:13:55 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-07-20 14:13:55 +0000 |
commit | 444cff0b5ef810fbafe3e5a4e7ff5e3e455ace5e (patch) | |
tree | 7f3434ddad4b4e2f11e7f87a5c9b74c0f39a64fe /SETUP | |
parent | de014a955f2cb75d95ca933773107298e9f5092a (diff) |
(S_proc_getmsgport): Deal with PID dying while we're waiting.
Diffstat (limited to 'SETUP')
0 files changed, 0 insertions, 0 deletions