]> Zhao Yanbai Git Server - minix.git/commit
Do not unmap a driver when the driver dies (it interferes with restarting
authorPhilip Homburg <philip@cs.vu.nl>
Mon, 15 May 2006 11:43:06 +0000 (11:43 +0000)
committerPhilip Homburg <philip@cs.vu.nl>
Mon, 15 May 2006 11:43:06 +0000 (11:43 +0000)
commitf0186f4179bc19f5966801d36057a058f70be525
tree83f6b9b235ba4adf810baae3b49a4f2823f6863f
parentae92cc208dc50de0e17f0505ff70f80bd2f14484
Do not unmap a driver when the driver dies (it interferes with restarting
disk drivers). Fixed accounting for REVIVING/reviving.
servers/fs/misc.c
servers/fs/pipe.c