# HG changeset patch
# User Jim Fehlig <jfehlig@novell.com>
# Date 1178858624 21600
# Node ID 29b301382bb60ce54e0ac9dc5e5163306de577ff
# Parent  3ef0510e44d04eb837ae238203251b969fc45df9
Configuration option 'localtime = 1' is not honored for PV domains.
This patch fixes an oversight when platform_* config options were collected in a dictionary.

Signed-off-by: Jim Fehlig <jfehlig@novell.com>

diff -r 3ef0510e44d0 -r 29b301382bb6 tools/python/xen/xend/XendDomainInfo.py
--- a/tools/python/xen/xend/XendDomainInfo.py	Tue May 08 10:21:23 2007 +0100
+++ b/tools/python/xen/xend/XendDomainInfo.py	Thu May 10 22:43:44 2007 -0600
@@ -1472,8 +1472,7 @@ class XendDomainInfo:
         try:
             self.image = image.create(self, self.info)
 
-            localtime = self.info.get('platform_localtime', False)
-            if localtime:
+            if self.info['platform'].get('localtime', 0):
                 xc.domain_set_time_offset(self.domid)
 
             xc.domain_setcpuweight(self.domid, self.info['cpu_weight'])