projects / tools / mic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8ffc9a) | patch
kill processes inside instroot chroot
authorGui Chen <gui.chen@intel.com>
Thu, 8 Aug 2013 05:50:58 +0000 (01:50 -0400)
committerGui Chen <gui.chen@intel.com>
Tue, 13 Aug 2013 09:23:15 +0000 (05:23 -0400)
commitbe64c436a6b7fab268cbd208bf3f7491b8d93b54
treef94da6fecfee718a611433602adcd81ea99220detree | snapshot
parentd8ffc9a7b12a48cca39864e05a1bcf5e0603870acommit | diff
kill processes inside instroot chroot

when processes forked inside chroot is alive,
mic should kill it first before umount

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