ia64/xen-unstable

changeset 7155:468ad17f9970

Minor tidy.

Signed-off-by: Ewan Mellor <ewan@xensource.com>
author emellor@ewan
date Fri Sep 30 17:05:08 2005 +0100 (2005-09-30)
parents fe401301929e
children 244f1aa98d30
files tools/python/xen/xend/XendCheckpoint.py
line diff
     1.1 --- a/tools/python/xen/xend/XendCheckpoint.py	Fri Sep 30 13:59:28 2005 +0100
     1.2 +++ b/tools/python/xen/xend/XendCheckpoint.py	Fri Sep 30 17:05:08 2005 +0100
     1.3 @@ -158,12 +158,12 @@ def restore(fd):
     1.4                      m = re.match(r"^(store-mfn) (\d+)\n$", l)
     1.5                      if m:
     1.6                          if dominfo.store_channel:
     1.7 -                            dominfo.setStoreRef(int(m.group(2)))
     1.8 -                            if dominfo.store_mfn >= 0:
     1.9 -                                IntroduceDomain(dominfo.getDomid(),
    1.10 -                                                dominfo.store_mfn,
    1.11 -                                                dominfo.store_channel.port1,
    1.12 -                                                dominfo.getDomainPath())
    1.13 +                            store_mfn = int(m.group(2))
    1.14 +                            dominfo.setStoreRef(store_mfn)
    1.15 +                            IntroduceDomain(dominfo.getDomid(),
    1.16 +                                            store_mfn,
    1.17 +                                            dominfo.store_channel.port1,
    1.18 +                                            dominfo.getDomainPath())
    1.19                      m = re.match(r"^(console-mfn) (\d+)\n$", l)
    1.20                      if m:
    1.21                          dominfo.setConsoleRef(int(m.group(2)))