[Xen-changelog] Minor tidy.

[Xen patchbot -unstable <patchbot-unstable@xxxxxxxxxxxxxxxxxxx>]

# HG changeset patch
# User emellor@ewan
# Node ID 468ad17f997033d81428edec24a1048e6ef9eda9
# Parent  fe401301929ed51cca4641d35ea305bcf7f10892
Minor tidy.

Signed-off-by: Ewan Mellor <ewan@xxxxxxxxxxxxx>

diff -r fe401301929e -r 468ad17f9970 tools/python/xen/xend/XendCheckpoint.py
--- a/tools/python/xen/xend/XendCheckpoint.py   Fri Sep 30 12:59:28 2005
+++ b/tools/python/xen/xend/XendCheckpoint.py   Fri Sep 30 16:05:08 2005
@@ -158,12 +158,12 @@
                     m = re.match(r"^(store-mfn) (\d+)\n$", l)
                     if m:
                         if dominfo.store_channel:
-                            dominfo.setStoreRef(int(m.group(2)))
-                            if dominfo.store_mfn >= 0:
-                                IntroduceDomain(dominfo.getDomid(),
-                                                dominfo.store_mfn,
-                                                dominfo.store_channel.port1,
-                                                dominfo.getDomainPath())
+                            store_mfn = int(m.group(2))
+                            dominfo.setStoreRef(store_mfn)
+                            IntroduceDomain(dominfo.getDomid(),
+                                            store_mfn,
+                                            dominfo.store_channel.port1,
+                                            dominfo.getDomainPath())
                     m = re.match(r"^(console-mfn) (\d+)\n$", l)
                     if m:
                         dominfo.setConsoleRef(int(m.group(2)))

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog