71
71
throw ConfigException(configfile + ": " + scoperunner_path_key + " must be an absolute path");
73
73
process_timeout_ = get_optional_int(registry_config_group, process_timeout_key, DFLT_PROCESS_TIMEOUT);
79
79
KnownEntries const known_entries = {