diff --git a/servers/fs/device.c b/servers/fs/device.c index 905afdd1a..3c931f572 100644 --- a/servers/fs/device.c +++ b/servers/fs/device.c @@ -361,7 +361,7 @@ message *mess_ptr; /* pointer to message for task */ "fs: strange device reply from %d, type = %d, proc = %d (2)\n", mess_ptr->m_source, mess_ptr->m_type, mess_ptr->REP_PROC_NR); - continue; /* XXX ? */ + return; } r = receive(task_nr, mess_ptr);