Henrik Grindal Bakken <hgb@ifi.uio.no> writes:

> An update...
>
> Yesterday, I fiddled with this, and among other things tried to kill
> the [lockd] and [nfsd] processes that were still running.  I managed
> to kill [lockd], but not [nfsd] (with kill -TERM or kill -KILL).
> However, when I arrived today (after the box just sitting there for
> the night), the [nfsd] process was gone too, and the file system
> could be properlt umounted.
>
> Seems there might be some kind of timeout or grace period somewhere.

Second update.  It appears that after a kill -9 on [lockd] and [nfsd],
they die within a relatively short time, but not instantly.  When they
are both dead, I can umount.


-- 
Henrik Grindal Bakken <hgb@ifi.uio.no>
PGP ID: 8D436E52
Fingerprint: 131D 9590 F0CF 47EF 7963  02AF 9236 D25A 8D43 6E52