Gracefully handle missing planner exit codes in .

aibasel · Oct 21, 2024 · dcad373 · dcad373
1 parent 54860d0
commit dcad373
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/news.rst b/docs/news.rst
@@ -12,7 +12,7 @@ Lab
 
 Downward Lab
 ^^^^^^^^^^^^
-* No changes
+* Gracefully handle missing planner exit codes in ``driver.log`` (Jendrik Seipp).
 
 
 v8.2 (2024-05-06)

diff --git a/downward/parsers/exitcode_parser.py b/downward/parsers/exitcode_parser.py
@@ -28,7 +28,7 @@ def parse_exit_code(content, props):
             use_legacy_exit_codes = False
             break
 
-    exitcode = props["planner_exit_code"]
+    exitcode = props.get("planner_exit_code")
     outcome = outcomes.get_outcome(exitcode, use_legacy_exit_codes)
     props["error"] = outcome.msg
     if use_legacy_exit_codes: