From c79dfb2e41c830570184815a6e44f636a3567fe9 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 7 Sep 2005 11:20:53 +0000 Subject: [PATCH] No newline for this error (dead dest) --- kernel/proc.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kernel/proc.c b/kernel/proc.c index bb6dda332..3b49c67f1 100755 --- 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 */ } }