devtools/__init__.py
changeset 8265 9747ab9230ad
parent 8188 1867e252e487
child 8306 4da49700b06a
equal deleted inserted replaced
8262:272e10526679 8265:9747ab9230ad
   166     appdatahome = apphome
   166     appdatahome = apphome
   167 
   167 
   168     def load_configuration(self):
   168     def load_configuration(self):
   169         super(TestServerConfiguration, self).load_configuration()
   169         super(TestServerConfiguration, self).load_configuration()
   170         # no undo support in tests
   170         # no undo support in tests
   171         self.global_set_option('undo-support', '')
   171         self.global_set_option('undo-support', 'n')
   172 
   172 
   173     def main_config_file(self):
   173     def main_config_file(self):
   174         """return instance's control configuration file"""
   174         """return instance's control configuration file"""
   175         return join(self.apphome, '%s.conf' % self.name)
   175         return join(self.apphome, '%s.conf' % self.name)
   176 
   176