1.1 --- a/tools/python/xen/xend/XendOptions.py	Mon Jun 09 09:42:14 2008 +0100
     1.2 +++ b/tools/python/xen/xend/XendOptions.py	Mon Jun 09 09:42:51 2008 +0100
     1.3 @@ -330,10 +330,10 @@ class XendOptions:
     1.4                                       self.vncpasswd_default)
     1.5  
     1.6      def get_keymap(self):
     1.7 -        return self.get_config_value('keymap', None)
     1.8 +        return self.get_config_string('keymap', None)
     1.9  
    1.10      def get_resource_label_change_script(self):
    1.11 -        s = self.get_config_value('resource-label-change-script')
    1.12 +        s = self.get_config_string('resource-label-change-script')
    1.13          if s:
    1.14              result = s.split(" ")
    1.15              result[0] = os.path.join(osdep.scripts_dir, result[0])