opts, args = getopt.gnu_getopt(sys.argv[1:], "hv", ["Verbose"]) for option, optarg in opts: if option == "-h": print __doc__ sys.exit() elif option == "-v" or option == "--verbose": pylib_io.Verbose = 1 else: sys.exit("Unknown option " + option) if len(args) > 1 or len(args) < 1: print __doc__ sys.exit() config = pylib_econf.e_config(args[0]) nice = os.nice(0) if config.nicelevel > nice: os.nice(config.nicelevel - nice) exists = pylib_eserver.eserver_get_reply(("localhost", config.port), "version\n.\n\n") if exists: sys.exit("Other process listening on port %d\nVersion reply: %s" % (config.port, exists)) server = pylib_eserver.eserver(config) server.process()
else: atime = self.config.abstract_time(time) result = [self.key, self.problem, status, atime, reason, time] for i in rest: result.append(i) return result if __name__ == '__main__': c = pylib_econf.e_config("EXAMPLE_CFG/eserver_config_test.txt") r1 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto", "GRP001+6.p", 10, ["# Processed clauses", "# Generated clauses", "# Clause-clause subsumption calls (NU)"]) r2 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto", "RNG004-1.p", 10, ["# Processed clauses", "# Generated clauses", "# Clause-clause subsumption calls (NU)"]) r3 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto", "SET542-6.p", 10, ["# Processed clauses", "# Generated clauses",