# HG changeset patch
# User Keir Fraser <keir.fraser@citrix.com>
# Date 1200695271 0
# Node ID 3f26758bcc020c741fdae010f969115064b577c2
# Parent  1e6455d608bd06a3cc4ec83fd2cf5943d0dac20f
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']))