changeset:   16764:3f26758bcc02
user:        Keir Fraser <keir.fraser@citrix.com>
date:        Fri Jan 18 22:27:51 2008 +0000
files:       tools/python/xen/xend/XendDomainInfo.py
description:
xend: Handle unspecified timer_mode domain platform parameter.
Signed-off-by: Keir Fraser <keir.fraser@citrix.com>


diff -r 1e6455d608bd -r 3f26758bcc02 tools/python/xen/xend/XendDomainInfo.py
--- a/tools/python/xen/xend/XendDomainInfo.py	Fri Jan 18 16:20:47 2008 +0000
+++ b/tools/python/xen/xend/XendDomainInfo.py	Fri Jan 18 22:27:51 2008 +0000
@@ -1650,9 +1650,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']))