|
|
![](http://www.xen.org/images/globals/pixel.gif) |
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] Don't leave behind zombie device model processes
# HG changeset patch
# User kaf24@xxxxxxxxxxxxxxxxxxxx
# Node ID edc6e8921dd1a7c539b1c340f83761ff40db4526
# Parent 3acc0ae6a00186a12ccf18ee277d053274a8ad61
Don't leave behind zombie device model processes
Signed-off-by: Edwin Zhai <edwin.zhai@xxxxxxxxx>
Signed-off-by: Arun Sharma <arun.sharma@xxxxxxxxx>
diff -r 3acc0ae6a001 -r edc6e8921dd1 tools/python/xen/xend/image.py
--- a/tools/python/xen/xend/image.py Mon Jul 25 21:01:42 2005
+++ b/tools/python/xen/xend/image.py Mon Jul 25 21:01:57 2005
@@ -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)
_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog
|
<Prev in Thread] |
Current Thread |
[Next in Thread> |
- [Xen-changelog] Don't leave behind zombie device model processes,
Xen patchbot -unstable <=
|
|
|
|
|