From e43894f828055f7099a3dc06f8b1ecb283c9d9ef Mon Sep 17 00:00:00 2001 From: Mau Magnaguagno Date: Fri, 29 Mar 2024 10:53:16 -0300 Subject: [PATCH] Add exit codes --- Hype.rb | 1 + Hypertension_U.rb | 2 ++ 2 files changed, 3 insertions(+) diff --git a/Hype.rb b/Hype.rb index 56f9b94..5898815 100755 --- a/Hype.rb +++ b/Hype.rb @@ -77,5 +77,6 @@ def compile(domain, problem, type = 'rb') end rescue puts $!, $@ + exit(2) end end \ No newline at end of file diff --git a/Hypertension_U.rb b/Hypertension_U.rb index 8490674..154e133 100644 --- a/Hypertension_U.rb +++ b/Hypertension_U.rb @@ -133,8 +133,10 @@ def problem(state, tasks, debug = false, max_plans = -1, min_prob = 0, ordered = @plans rescue Interrupt puts 'Interrupted' + exit(130) rescue puts $!, $@ + exit(2) end #-----------------------------------------------