Lines Matching full:config_file
250 def __init__ (self, config_file, options):
251 self.config_file = config_file
253 if self.config_file == "":
255 if not FileExists(self.config_file):
256 self.InitializeConfig(self.config_file)
258 config.read(self.config_file)
279 config.filename = FileJustRoot(self.config_file) + ".JET"
736 self.config_file = configFile
