From f7f30a3a442ccfa724c9131370c289706fd33a9b Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Thu, 20 Oct 2005 20:46:04 +0000 Subject: [PATCH] 2 extra error conditions on disappearing processes during/before sendrec() --- servers/fs/device.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/servers/fs/device.c b/servers/fs/device.c index 2521b6eac..8cbcaff3a 100644 --- a/servers/fs/device.c +++ b/servers/fs/device.c @@ -87,6 +87,8 @@ PUBLIC void dev_status(message *m) if ((r=sendrec(m->m_source, &st)) != OK) { printf("DEV_STATUS failed to %d: %d\n", m->m_source, r); if (r == EDEADSRCDST) return; + if (r == EDSTDIED) return; + if (r == ESRCDIED) return; panic(__FILE__,"couldn't sendrec for DEV_STATUS", r); } @@ -360,6 +362,8 @@ message *mess_ptr; /* pointer to message for task */ for (;;) { if (r != OK) { if (r == EDEADSRCDST) return; /* give up */ + if (r == EDSTDIED) return; + if (r == ESRCDIED) return; else panic(__FILE__,"call_task: can't send/receive", r); }