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>

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index fa0eb0f65dbf57191b146ab1885cba159d924375..64d22fbb7a6af2e94e767b4164749c4137a91949 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -994,6 +994,7 @@ class XendDomainInfo:
             self.destroy()
             return
 
+        old_domid = self.domid
         self._writeVm(RESTART_IN_PROGRESS, 'True')
 
         now = time.time()
@@ -1040,7 +1041,7 @@ class XendDomainInfo:
                     self._removeVm(RESTART_IN_PROGRESS)
                 raise
         except:
-            log.exception('Failed to restart domain %s.', str(self.domid))
+            log.exception('Failed to restart domain %s.', str(old_domid))
 
     def getSysMem(self):
         info = dom_get(self.domid)