projects
/
grml2usb.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use the normalized path for unmounting, patch by Peter Daum
[grml2usb.git]
/
grml2usb
diff --git
a/grml2usb
b/grml2usb
index
3bf80e8
..
b5338bd
100755
(executable)
--- a/
grml2usb
+++ b/
grml2usb
@@
-869,7
+869,7
@@
def unmount(target, unmount_options):
# make sure we unmount only already mounted targets
target_unmount = False
mounts = open('/proc/mounts').readlines()
# make sure we unmount only already mounted targets
target_unmount = False
mounts = open('/proc/mounts').readlines()
- mountstring = re.compile(".*%s.*" % re.escape(
target
))
+ mountstring = re.compile(".*%s.*" % re.escape(
os.path.realpath(target)
))
for line in mounts:
if re.match(mountstring, line):
target_unmount = True
for line in mounts:
if re.match(mountstring, line):
target_unmount = True