ia64/xen-unstable

changeset 6118:3255b59ab616

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>
author kaf24@firebug.cl.cam.ac.uk
date Thu Aug 11 21:04:17 2005 +0000 (2005-08-11)
parents 2b9e3795a523
children 8a1752e76854
files tools/python/xen/xend/XendDomainInfo.py
line diff
     1.1 --- a/tools/python/xen/xend/XendDomainInfo.py	Thu Aug 11 21:03:16 2005 +0000
     1.2 +++ b/tools/python/xen/xend/XendDomainInfo.py	Thu Aug 11 21:04:17 2005 +0000
     1.3 @@ -642,6 +642,7 @@ class XendDomainInfo:
     1.4                  pass
     1.5          if self.image:
     1.6              try:
     1.7 +                self.device_model_pid = 0
     1.8                  self.image.destroy()
     1.9                  self.image = None
    1.10              except: