projects
/
tools
/
mic.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6307977
)
fix umount issue
author
Gui Chen
<gui.chen@intel.com>
Mon, 26 Aug 2013 04:08:34 +0000
(
00:08
-0400)
committer
Gui Chen
<gui.chen@intel.com>
Mon, 26 Aug 2013 04:08:34 +0000
(
00:08
-0400)
if mount dest is updated during mount, self.ismounted() won't
check it out, self.mounted flag is valid all the way
Signed-off-by: Gui Chen <gui.chen@intel.com>
mic/utils/fs_related.py
patch
|
blob
|
history
diff --git
a/mic/utils/fs_related.py
b/mic/utils/fs_related.py
index
5802c27
..
ed193f7
100644
(file)
--- a/
mic/utils/fs_related.py
+++ b/
mic/utils/fs_related.py
@@
-138,7
+138,7
@@
class BindChrootMount:
os.symlink(self.src, dest)
def unmount(self):
- if self.ismounted():
+ if self.
mounted or self.
ismounted():
runner.show([self.umountcmd, "-l", self.dest])
self.mounted = False