From 6e7ba75acb4e047da93b42e32374c196d65c9fd8 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 15 Mar 2006 21:55:32 +0000 Subject: [PATCH] Driver disappearing during dev_io() is not a fatal error. --- servers/fs/device.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/servers/fs/device.c b/servers/fs/device.c index 72ba958d8..831713ed4 100644 --- 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) { -- 2.44.0