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>
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: