Test for SENDING else RECEIVING should be SENDING, then RECEIVING.

diff --git a/kernel/system/do_exit.c b/kernel/system/do_exit.c
index 38110f590dc7058647eae807f20ae21de76bd01d..783d12c70ab44b3a9ce45af8d731f544529e0c57 100644 (file)
--- a/kernel/system/do_exit.c
+++ b/kernel/system/do_exit.c
@@ -109,7 +109,7 @@ register struct proc *rc;           /* slot of process to clean up */
 #endif
          if (rp->p_rts_flags == 0) lock_enqueue(rp);/* let process run again */
       } 
-      else if ((rp->p_rts_flags & SENDING) && rp->p_sendto == proc_nr(rc)) {
+      if ((rp->p_rts_flags & SENDING) && rp->p_sendto == proc_nr(rc)) {
           rp->p_reg.retreg = EDSTDIED;         /* report destination died */
          rp->p_rts_flags &= ~SENDING;          /* no longer sending */
 #if DEBUG_ENABLE_IPC_WARNINGS