[oe] [PATCH] udev/mount.sh: try to kill active processes before umount

[Koen Kooi]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 22-06-10 14:01, Steffen Sledz wrote:
> Am 22.06.2010 13:02, schrieb Koen Kooi:
>> Wouldn't a umount -l be a lot better in this case?
> 
> I'm not sure if this would do the right things.
> 
> mount.sh is called with REMOVE action when the device *is
> disconnected* i.e. the filesystem is no longer available.
> So i believe it is not possible to "cleanup all references
> to the filesystem as soon as it is not busy anymore".
> 
> I think killing all the processes is the only way here.

I don't like the idea of killing random processes, especially is that
process is smart enough to "move on" after a timeout.

regards,

Koen
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Darwin)

iD8DBQFMIMiwMkyGM64RGpERAiFVAKCzGeqyIx8Mh+EHcXz8/w3uK20D0ACfXR++
x3OaWYcazQ9Wc1/cObARf2E=
=xOUQ
-----END PGP SIGNATURE-----