[patch] pam_mount-0.18-umount-home-dir.diff

pam_mount-0.18-umount-home-dir.diff (text/plain), 508 bytes, created by Joël on 2007-06-25 20:30:14 UTC

--- /sbin/umount.crypt
+++ /sbin/umount.crypt 2007/01/12 08:59:14
@@ -57,6 +57,15 @@
     exit 1;
 fi;
 
+# kill remaining user processes if we're unmounting a user's home dir
+getent passwd | grep -e ":$1:" &> /dev/null
+if test $? -eq 0; then
+    lsof -t $1 | xargs kill -TERM &> /dev/null
+    sleep 1
+    lsof -t $1 | xargs kill -9 &> /dev/null
+    sleep 1
+fi
+
 # ask cryptsetup about the underlying device
 #
 REALDEVICE=` "$CRYPTSETUP" status "$DMDEVICE" | sed -n '/device/s/[ ]*device:[ ]*//p'`;