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']))