diff options
author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-08-11 21:04:17 +0000 |
---|---|---|
committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2005-08-11 21:04:17 +0000 |
commit | 66c1bb81a139956857168af4d7269ef92daf045c (patch) | |
tree | 5dc19e3c5ef78354d09f7735e0370e8ef5dcdbad | |
parent | ca21e61a00c864f707a7d077a23c234b1cf6c41a (diff) | |
download | xen-66c1bb81a139956857168af4d7269ef92daf045c.tar.gz xen-66c1bb81a139956857168af4d7269ef92daf045c.tar.bz2 xen-66c1bb81a139956857168af4d7269ef92daf045c.zip |
Need to reset device model pid on reboot
Without this, xend will not spawn a new device model process after the reboot.
Signed-off-by: Ke Yu <ke.yu@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
-rw-r--r-- | tools/python/xen/xend/XendDomainInfo.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py index 52fba1c4ca..af73c87bff 100644 --- a/tools/python/xen/xend/XendDomainInfo.py +++ b/tools/python/xen/xend/XendDomainInfo.py @@ -642,6 +642,7 @@ class XendDomainInfo: pass if self.image: try: + self.device_model_pid = 0 self.image.destroy() self.image = None except: |