projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 96358e7) | patch
remove unused code and check chroot_lock before release
authorGui Chen <gui.chen@intel.com>
Wed, 14 Aug 2013 08:40:19 +0000 (04:40 -0400)
committerGui Chen <gui.chen@intel.com>
Wed, 14 Aug 2013 08:55:25 +0000 (04:55 -0400)
commit1ef08fd4bab8d39b931c44bf0c464c4bfb4ca40a
treef14533fec3bae5e1a117c8b48ccf258b437617e2tree | snapshot
parent96358e74e5a57e250d9d5901b507108ce23ae93acommit | diff
remove unused code and check chroot_lock before release

the open of chroot lock file is unneccessary, remove it;
if chroot_lock is None, release is invalid, check it.

Signed-off-by: Gui Chen <gui.chen@intel.com>
mic/chroot.py diff | blob | history
Domain: SCM / Build;