xend: Handle unspecified timer_mode domain platform parameter.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen-unstable changeset:   16764:3f26758bcc020c741fdae010f969115064b577c2
xen-unstable date:        Fri Jan 18 22:27:51 2008 +0000

diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py
index 5dea3901a8a0d78e2e15a1a73d22683e194d0e25..f8d3f1ef575f200b8b2b1c8dac30d49760e1f08e 100644 (file)
--- a/tools/python/xen/xend/XendDomainInfo.py
+++ b/tools/python/xen/xend/XendDomainInfo.py
@@ -1538,9 +1538,10 @@ class XendDomainInfo:
         self._recreateDom()
 
         # Set timer configration of domain
-        if hvm:
+        timer_mode = self.info["platform"].get("timer_mode")
+        if hvm and timer_mode is not None:
             xc.hvm_set_param(self.domid, HVM_PARAM_TIMER_MODE,
-                long(self.info["platform"].get("timer_mode")))
+                             long(timer_mode))
 
         # Set maximum number of vcpus in domain
         xc.domain_max_vcpus(self.domid, int(self.info['VCPUs_max']))