From ae7a4306a0063272fd776483d6213e9d337344ec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 20 Nov 2017 23:32:48 +0100
Subject: [PATCH] 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.
---
 benchmark.py | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/benchmark.py b/benchmark.py
index 40228cbad..38659d4e2 100644
--- a/benchmark.py
+++ b/benchmark.py
@@ -208,6 +208,7 @@ def runJob(configuration, instance, config):
 		print("# instance: " + str(instance), file = errorFile)
 		print("# command: " + str(command), file = errorFile)
 		print("# working directory: " + plannerDir, file = errorFile)
+		print("# exit code: " + str(exitCode), file = errorFile)
 		print(stderr, file = errorFile)
 
 		if exitCode != 0:
@@ -225,7 +226,8 @@ def runJob(configuration, instance, config):
 				"plasp": plaspVersion(config),
 				"planner": plannerVersion(config),
 				"fastDownward": fastDownwardVersion(config)
-			}
+			},
+			"exitCode": exitCode,
 		}
 
 		print(yaml.dump(environment, default_flow_style = False), file = environmentFile)