Fix bug introduced by suppressing error message of dead destinations

during shutdown
This commit is contained in:
Ben Gras 2005-10-06 12:06:27 +00:00
parent 1ef8d537ca
commit 5e5d2f16b9

View File

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