From 713e307f06b671a540033b2f688321d5aaf020e7 Mon Sep 17 00:00:00 2001
From: IgnorantGuru <ignorantguru@gmx.com>
Date: Fri, 20 Jul 2012 13:30:33 -0600
Subject: [PATCH] [devmon 1.1.2] udevil clean on remove device #6

---
 ChangeLog  | 1 +
 src/devmon | 6 +++++-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 8cead0f..d82029e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -3,6 +3,7 @@
     sshfs add port as option
     added remove command to unmount and remove device safely
     added default_options_ntfs to udevil.conf
+    [devmon 1.1.2] udevil clean on remove device #6
 0.3.0   2012-07-13:
     cifs,ftpfs dont quote username, double quote password #3
     default udevil.conf: allow option flush
diff --git a/src/devmon b/src/devmon
index 010867f..acedc85 100755
--- a/src/devmon
+++ b/src/devmon
@@ -15,7 +15,7 @@ defaultmountoptions="noexec,nosuid,nodev,noatime"
 help()
 {
 	cat << EOF
-devmon version 1.1.1  (distributed with udevil)
+devmon version 1.1.2  (distributed with udevil)
 Automounts and unmounts optical and removable drives
 Requires:    udevil bash>=4        Also Recommended: eject zenity
 Optional:    udisks v1 may be substituted for udevil
@@ -1113,6 +1113,10 @@ while ps -p $COPROC_PID &>/dev/null; do
 		fi
 		if [ $mounterr -eq 0 ]; then
 			unmountdev $devpath
+		elif [ "$mount_cmd" = "$udevil" ]; then
+			# remove mount point of removed device which was unmounted by other
+			echo "devmon: $udevil clean"
+			$udevil clean
 		fi
 		# exec-on-remove
 		if (( execorx != 0 )); then