Date: Sun, 23 Feb 2014 13:57:52 +0100
From: J. Hannken-Illjes hann...@eis.cs.tu-bs.de
Currently dead vnodes still reside on the vnodelist of the file system
they have been removed from. To me it looks much better to create
a dead mount that takes dead vnodes until they get freed.
Currently dead vnodes still reside on the vnodelist of the file system
they have been removed from. To me it looks much better to create
a dead mount that takes dead vnodes until they get freed.
Diff available at http://www.netbsd.org/~hannken/dead-mount.diff
Comments or objections anyone?
--