direct-io.hg

changeset 12297:5c5b03381d3c

Save the old domid when restarting, as it may get wiped out before we need to
log it (on restart failure).

Signed-off-by: Ewan Mellor <ewan@xensource.com>
author Ewan Mellor <ewan@xensource.com>
date Wed Nov 08 11:08:18 2006 +0000 (2006-11-08)
parents 1fcdb3a35db3
children 2408c042a276
files tools/python/xen/xend/XendDomainInfo.py
line diff
     1.1 --- a/tools/python/xen/xend/XendDomainInfo.py	Wed Nov 08 10:48:55 2006 +0000
     1.2 +++ b/tools/python/xen/xend/XendDomainInfo.py	Wed Nov 08 11:08:18 2006 +0000
     1.3 @@ -994,6 +994,7 @@ class XendDomainInfo:
     1.4              self.destroy()
     1.5              return
     1.6  
     1.7 +        old_domid = self.domid
     1.8          self._writeVm(RESTART_IN_PROGRESS, 'True')
     1.9  
    1.10          now = time.time()
    1.11 @@ -1040,7 +1041,7 @@ class XendDomainInfo:
    1.12                      self._removeVm(RESTART_IN_PROGRESS)
    1.13                  raise
    1.14          except:
    1.15 -            log.exception('Failed to restart domain %s.', str(self.domid))
    1.16 +            log.exception('Failed to restart domain %s.', str(old_domid))
    1.17  
    1.18      def getSysMem(self):
    1.19          info = dom_get(self.domid)