From 17eeb0790cd85800163924120a45ae1de3a0fc85 Mon Sep 17 00:00:00 2001
From: Mau Magnaguagno <maumagnaguagno@gmail.com>
Date: Fri, 23 Sep 2016 16:16:06 -0300
Subject: [PATCH] Fix plans sanity check on Run.rb
---
jshop2/run.rb | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/jshop2/run.rb b/jshop2/run.rb
index a10f4d7..dbd9963 100755
--- a/jshop2/run.rb
+++ b/jshop2/run.rb
@@ -22,7 +22,7 @@ begin
domain_name = File.basename(domain_file, '.*')
problem_name = File.basename(problem_file, '.*')
mode = 'run' if mode != 'gui'
- plans = 'a' if mode !~ /\d+/
+ plans = 'a' if plans !~ /\d+/
puts 'Input',
" domain file: #{domain_file}",
" problem file: #{problem_file}",
--
GitLab