Add exit codes

Maumagnaguagno · Mar 29, 2024 · 22fcf4d · 22fcf4d
1 parent 48badb0
commit 22fcf4d
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/Hype.rb b/Hype.rb
@@ -241,5 +241,6 @@ def execute
     end
   rescue
     puts $!, $@
+    exit(2)
   end
 end
diff --git a/Hypertension.rb b/Hypertension.rb
@@ -235,8 +235,10 @@ def problem(state, tasks, debug = false, ordered = true)
     plan
   rescue Interrupt
     puts 'Interrupted'
+    exit(130)
   rescue
     puts $!, $@
+    exit(2)
   end
 
 else
@@ -260,8 +262,10 @@ def problem(state, tasks, debug = false, ordered = true)
     plan
   rescue Interrupt
     puts 'Interrupted'
+    exit(130)
   rescue
     puts $!, $@
+    exit(2)
   end
 
 end

diff --git a/extensions/Knoblock.rb b/extensions/Knoblock.rb
@@ -109,5 +109,6 @@ def dot_str(i)
     Knoblock.create_hierarchy(PDDL_Parser.operators, PDDL_Parser.predicates, goals, true)
   rescue
     puts $!, $@
+    exit(2)
   end
 end