Driver disappearing during dev_io() is not a fatal error.

diff --git a/servers/fs/device.c b/servers/fs/device.c
index 72ba958d87dea818b08e82e611e841b813b89c43..831713ed453e4e8c966fd10bd447aa97aea21ead 100644 (file)
--- a/servers/fs/device.c
+++ b/servers/fs/device.c
@@ -160,8 +160,10 @@ int flags;                 /* special flags, like O_NONBLOCK */
   /* Call the task. */
   (*dp->dmap_io)(dp->dmap_driver, &dev_mess);
 
-  if(dp->dmap_driver == NONE)
-       panic(__FILE__,"dev_io: driver changed to NONE", NO_NUM);
+  if(dp->dmap_driver == NONE) {
+       /* Driver has vanished. */
+       return EIO;
+  }
 
   /* Task has completed.  See if call completed. */
   if (dev_mess.REP_STATUS == SUSPEND) {