Do not unmap a driver when the driver dies (it interferes with restarting

disk drivers). Fixed accounting for REVIVING/reviving.

diff --git a/servers/fs/misc.c b/servers/fs/misc.c
index 3776e74318249b1da108a3f1c0b195007b938672..d10abf5ed6f8a179f6d0781e4fc80f88e39ca03c 100644 (file)
--- a/servers/fs/misc.c
+++ b/servers/fs/misc.c
@@ -398,7 +398,6 @@ PRIVATE void free_proc(struct fproc *exiter, int flags)
   if(!(flags & FP_EXITING))
        return;
 
-  dmap_unmap_by_endpt(fp->fp_endpoint);
   /* Invalidate endpoint number for error and sanity checks. */
   fp->fp_endpoint = NONE;
 

diff --git a/servers/fs/pipe.c b/servers/fs/pipe.c
index 4282f8eefedbed345eadaea2d91b58234ba1fc65..25b8e51d2becbca3c947aa458bc97e37538e21b4 100644 (file)
--- a/servers/fs/pipe.c
+++ b/servers/fs/pipe.c
@@ -359,6 +359,9 @@ int proc_nr_e;
   if (rfp->fp_suspended == NOT_SUSPENDED) return(OK);
   task = -rfp->fp_task;
 
+  if (rfp->fp_revived == REVIVING)
+       reviving--;
+
   switch (task) {
        case XPIPE:             /* process trying to read or write a pipe */
                break;