Add exit codes

Maumagnaguagno · Mar 29, 2024 · e43894f · e43894f
1 parent 4ea5aab
commit e43894f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/Hype.rb b/Hype.rb
@@ -77,5 +77,6 @@ def compile(domain, problem, type = 'rb')
     end
   rescue
     puts $!, $@
+    exit(2)
   end
 end
diff --git 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
 
   #-----------------------------------------------
-Original file line number
+Diff line change
@@ Expand Up / @@ -77,5 +77,6 @@ def compile(domain, problem, type = 'rb') @@
         end
       rescue
         puts $!, $@
+        exit(2)
       end
     end