Log planner exit code

This adds a log entry containing the exit code to the output as well as
the environment description file. This makes it easier to check for
errors.
This commit is contained in:
Patrick Lühne 2017-11-20 23:32:48 +01:00
parent 4239e36a3d
commit ae7a4306a0
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF

View File

@ -208,6 +208,7 @@ def runJob(configuration, instance, config):
print("# instance: " + str(instance), file = errorFile) print("# instance: " + str(instance), file = errorFile)
print("# command: " + str(command), file = errorFile) print("# command: " + str(command), file = errorFile)
print("# working directory: " + plannerDir, file = errorFile) print("# working directory: " + plannerDir, file = errorFile)
print("# exit code: " + str(exitCode), file = errorFile)
print(stderr, file = errorFile) print(stderr, file = errorFile)
if exitCode != 0: if exitCode != 0:
@ -225,7 +226,8 @@ def runJob(configuration, instance, config):
"plasp": plaspVersion(config), "plasp": plaspVersion(config),
"planner": plannerVersion(config), "planner": plannerVersion(config),
"fastDownward": fastDownwardVersion(config) "fastDownward": fastDownwardVersion(config)
} },
"exitCode": exitCode,
} }
print(yaml.dump(environment, default_flow_style = False), file = environmentFile) print(yaml.dump(environment, default_flow_style = False), file = environmentFile)