diff --git a/Hype.rb b/Hype.rb index f354c09..8bb2d7e 100644 --- a/Hype.rb +++ b/Hype.rb @@ -241,5 +241,6 @@ def execute end rescue puts $!, $@ + exit(2) end end \ No newline at end of file diff --git a/Hypertension.rb b/Hypertension.rb index 252f99d..d27d52a 100644 --- 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 index 9cf65cb..bf377e6 100644 --- 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 \ No newline at end of file