Fix unmounting repository in case URL contains double slashes and dots

iplinux · Apr 5, 2010 · 5647684 · 5647684
1 parent c9b43d0
commit 5647684
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/enter.in b/enter.in
@@ -43,11 +43,8 @@ mounted_repos=
 unmount_repos() {
 
     for _mounted_repo in $mounted_repos; do
-
-        # If current repo directory is actually mounted
-        if fgrep -q "$_mounted_repo" < /etc/mtab; then
-            sudo umount "$_mounted_repo"
-        fi
+        # Unmount repository no matter what.    
+        sudo umount "$_mounted_repo" 2> /dev/null || :
         # Remove the repo directory and any empty parent directories
         sudo rmdir -p "$_mounted_repo" 2> /dev/null || :
     done