projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6307977) | patch
fix umount issue
authorGui Chen <gui.chen@intel.com>
Mon, 26 Aug 2013 04:08:34 +0000 (00:08 -0400)
committerGui Chen <gui.chen@intel.com>
Mon, 26 Aug 2013 04:08:34 +0000 (00:08 -0400)
commitceb5564437e4864d547cbe7feccc11fa09393e13
treec5c0fb464178eb1515bcd693cf7131a8131b36adtree | snapshot
parent630797720a2c4bba0512ffd19c63869771fa27dacommit | diff
fix umount issue

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 diff | blob | history
Domain: SCM / Build;