|
|
|
|
|
|
|
|
|
|
xen-changelog
[Xen-changelog] Minor tidy.
# 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
|
|
|
|
|