def __init__(self, config=None): homedir = pylib_io.get_homedir() self.port = DEFAULT_ANNOUNCE_PORT self.ctrl_port = DEFAULT_CONTROL_PORT self.specdir = homedir+"/"+DEFAULT_TESTDIR self.protdir = homedir+"/"+DEFAULT_TESTDIR self.auto_sync = DEFAULT_SYNC_COUNT self.mode = "active" if not config: return try: confdict, conflist = pylib_io.parse_config_file(config) for key in confdict: value = confdict[key] if key == "Job directory": self.specdir = value elif key == "Result directory": self.protdir = value elif key == "Port": self.port = int(value) elif key == "Control port": self.ctrl_port = int(value) elif key == "Synchronize": self.auto_sync = int(value) elif key == "Mode": self.mode = value else: raise pylib_io.ECconfigSyntaxError("Unknown keyword", key) except pylib_io.ECconfigSyntaxError, inst: sys.stderr.write(str(inst)+"\n") sys.exit(1)
def __init__(self, config=None): homedir = pylib_io.get_homedir() self.port = DEFAULT_ANNOUNCE_PORT self.ctrl_port = DEFAULT_CONTROL_PORT self.specdir = homedir + "/" + DEFAULT_TESTDIR self.protdir = homedir + "/" + DEFAULT_TESTDIR self.auto_sync = DEFAULT_SYNC_COUNT self.mode = "active" if not config: return try: confdict, conflist = pylib_io.parse_config_file(config) for key in confdict: value = confdict[key] if key == "Job directory": self.specdir = value elif key == "Result directory": self.protdir = value elif key == "Port": self.port = int(value) elif key == "Control port": self.ctrl_port = int(value) elif key == "Synchronize": self.auto_sync = int(value) elif key == "Mode": self.mode = value else: raise pylib_io.ECconfigSyntaxError("Unknown keyword", key) except pylib_io.ECconfigSyntaxError, inst: sys.stderr.write(str(inst) + "\n") sys.exit(1)
def __init__(self, config=None): homedir = pylib_io.get_homedir() self.port = DEFAULT_LISTEN_PORT self.bindir = homedir+"/EPROVER/bin" self.problemdir = homedir+"/EPROVER/TPTP" self.e_mark = 100.0 self.memory_limit = 384 self.max_procs = 1 self.auto_opt = "-s --print-statistics" self.nicelevel = 10 self.local_blocks = False self.load_limit = DEFAULT_LOAD_LIMIT self.masters = [] self.mode = "announce" if not config: return try: confdict, conflist = pylib_io.parse_config_file(config) for key in confdict: value = confdict[key] if key == "Binaries directory": self.bindir = value elif key == "Port": self.port = int(value) elif key == "Problem directory": self.problemdir = value elif key == "E-Mark": self.e_mark = float(value) elif key == "Memory limit": self.memory_limit = int(value) elif key == "Max processes": self.max_procs = int(value) elif key == "Auto options": self.auto_opt = value elif key == "Nice": self.nicelevel = int(value) elif key == "Local blocks": self.local_blocks = value=="true" elif key == "Load limit": self.load_limit = float(value) elif key == "Master": masterlist = value.split(",") for i in masterlist: try: host, port = i.split(":") host = gethostbyname(host.strip()) self.masters.append((host, int(port.strip()))) except ValueError: raise pylib_io.ECconfigSyntaxError("Malformed IP address", i) elif key == "Mode": self.mode = value else: raise pylib_io.ECconfigSyntaxError("Unknown keyword", key) except pylib_io.ECconfigSyntaxError, inst: sys.stderr.write(str(inst)+"\n") sys.exit(1)
def __init__(self, config=None): homedir = pylib_io.get_homedir() self.port = DEFAULT_LISTEN_PORT self.bindir = homedir + "/EPROVER/bin" self.problemdir = homedir + "/EPROVER/TPTP" self.e_mark = 100.0 self.memory_limit = 384 self.max_procs = 1 self.auto_opt = "-s --print-statistics" self.nicelevel = 10 self.local_blocks = False self.load_limit = DEFAULT_LOAD_LIMIT self.masters = [] self.mode = "announce" if not config: return try: confdict, conflist = pylib_io.parse_config_file(config) for key in confdict: value = confdict[key] if key == "Binaries directory": self.bindir = value elif key == "Port": self.port = int(value) elif key == "Problem directory": self.problemdir = value elif key == "E-Mark": self.e_mark = float(value) elif key == "Memory limit": self.memory_limit = int(value) elif key == "Max processes": self.max_procs = int(value) elif key == "Auto options": self.auto_opt = value elif key == "Nice": self.nicelevel = int(value) elif key == "Local blocks": self.local_blocks = value == "true" elif key == "Load limit": self.load_limit = float(value) elif key == "Master": masterlist = value.split(",") for i in masterlist: try: host, port = i.split(":") host = gethostbyname(host.strip()) self.masters.append((host, int(port.strip()))) except ValueError: raise pylib_io.ECconfigSyntaxError( "Malformed IP address", i) elif key == "Mode": self.mode = value else: raise pylib_io.ECconfigSyntaxError("Unknown keyword", key) except pylib_io.ECconfigSyntaxError, inst: sys.stderr.write(str(inst) + "\n") sys.exit(1)