Save the old domid when restarting, as it may get wiped out before we need to
authorEwan Mellor <ewan@xensource.com>
Wed, 8 Nov 2006 11:08:18 +0000 (11:08 +0000)
committerEwan Mellor <ewan@xensource.com>
Wed, 8 Nov 2006 11:08:18 +0000 (11:08 +0000)
commitd1e3da560b86181c01d29f0e6157dec549690000
treec3a13d3b8cc9362d003622eecc7e9f86c126db4c
parentd8db1e728aa9083b1565917a6a4685fd2427e82a
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>
tools/python/xen/xend/XendDomainInfo.py