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)
