diff options
author | Miles Bader <miles@gnu.org> | 1996-07-20 14:14:21 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-07-20 14:14:21 +0000 |
commit | 3ce0d9354895df0488b083c434f21389bb54a3cf (patch) | |
tree | cc5a6ffce6243e4df024eab77da1024794a3bf11 /proc | |
parent | 444cff0b5ef810fbafe3e5a4e7ff5e3e455ace5e (diff) |
.
Diffstat (limited to 'proc')
-rw-r--r-- | proc/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/proc/ChangeLog b/proc/ChangeLog index e3f02daf..6e7727e1 100644 --- a/proc/ChangeLog +++ b/proc/ChangeLog @@ -1,3 +1,7 @@ +Sat Jul 20 10:08:05 1996 Miles Bader <miles@gnu.ai.mit.edu> + + * msg.c (S_proc_getmsgport): Deal with PID dying while we're waiting. + Fri Jul 19 18:22:46 1996 Michael I. Bushnell, p/BSG <mib@gnu.ai.mit.edu> * msg.c (S_proc_setmsgport): Bother to request DEAD_NAME |