Re: closefd: closes a file of any process

[Jamie Lokier]

Werner Almesberger wrote:
> Your original proposal, moving to nullfs, gives you simply the possibility
> to have a "hard" or a "soft" failure. The basic assumption is still that
> the program didn't really need to access the file in the first place.
> 
> So I'm still wondering if a clean exit/kill wouldn't be better in almost
> all cases.

revoke() without killing the process would be quite useful for floppies
removed from the drive...

-- Jamie