Fix bug introduced by suppressing error message of dead destinations

during shutdown

diff --git a/kernel/proc.c b/kernel/proc.c
index d613ed8eed15f13eda488521dda8ebcdfc0b6832..78e2cfd25ab29ce5abc443b4327d70063c768b46 100755 (executable)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -149,9 +149,9 @@ message *m_ptr;                     /* pointer to message in the caller's space */
           return(ECALLDENIED);         /* call denied by ipc mask */
       }
 
-      if (isemptyn(src_dst) && !shutdown_started) {
-          kprintf("sys_call: dead dest; %d, %d, %d\n", 
-              function, proc_nr(caller_ptr), src_dst);
+      if (isemptyn(src_dst)) {
+       if(!shutdown_started)
+        kprintf("sys_call: dead dst; %d->%d\n", proc_nr(caller_ptr), src_dst);
           return(EDEADDST);            /* cannot send to the dead */
       }
   }