Don't leave behind zombie device model processes
PATCH 2/9 Don't leave behind zombie device model processes
Don't leave behind zombie device model processes
Signed-off-by Edwin Zhai <[email protected]>
Signed-off-by Arun Sharma <[email protected]>
tools/python/xen/xend/image.py +3 -2
@@ -352,8 +352,9 @@ def destroy(self): channel.eventChannelClose(self.device_channel) - os.system("kill -KILL" - + " %d" % self.pid) + import signal + os.kill(self.pid, signal.SIGKILL) + (pid, status) = os.waitpid(self.pid, 0) def getDomainMemory(self, mem_mb): return (mem_mb * 1024) + self.getPageTableSize(mem_mb)