No newline for this error (dead dest)

This commit is contained in:
Ben Gras 2005-09-07 11:20:53 +00:00
parent 71501f1e0a
commit c79dfb2e41

View file

@ -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 */
}
}