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

[Steffen Sledz]

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.

Steffen

-- 
Steffen Sledz
DResearch Digital Media Systems GmbH
Otto-Schmirgal-Str.3, D-10319 Berlin, Germany
Tel: +49 (30) 515932237 mailto:sledz at DResearch.DE
Fax: +49 (30) 515932299 http://www.DResearch.DE
Geschäftsführer: Dr. Michael Weber, Werner Mögle;
Amtsgericht Berlin Charlottenburg; HRB 54412;
Ust.-IDNr. DE169013825; WEEE Reg.-Nr. DE 85995642