No newline for this error (dead dest)

diff --git a/kernel/proc.c b/kernel/proc.c
index bb6dda3326ef5d63089d1f6bbdcf2733e06dd79d..3b49c67f19b3da0a2afab0ddf2c02af8f2c64794 100755 (executable)
--- a/kernel/proc.c
+++ b/kernel/proc.c
@@ -150,8 +150,8 @@ message *m_ptr;                     /* pointer to message in the caller's space */
       }
 
       if (isemptyn(src_dst)) {
-          kprintf("sys_call: dead destination, function %d, caller %d\n", 
-              function, proc_nr(caller_ptr));
+          kprintf("[sys_call: dead dest; %d, %d, %d] ", 
+              function, proc_nr(caller_ptr), src_dst);
           return(EDEADDST);            /* cannot send to the dead */
       }
   }