ia64/xen-unstable

changeset 6511:c463720c5439

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 adsharma@los-vmm.sc.intel.com
date Tue Aug 09 11:06:44 2005 -0800 (2005-08-09)
parents 6fb4a79e9f7a
children e5ea9df58340
files tools/python/xen/xend/XendDomainInfo.py
line diff
     1.1 --- a/tools/python/xen/xend/XendDomainInfo.py	Tue Aug 09 11:06:44 2005 -0800
     1.2 +++ b/tools/python/xen/xend/XendDomainInfo.py	Tue Aug 09 11:06:44 2005 -0800
     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: