From fa6a3682e85d5fbfc8aab6ad3abbc73c2eb15e45 Mon Sep 17 00:00:00 2001 From: gumi Date: Mon, 6 May 2019 09:56:15 -0400 Subject: allow to use valgrind/gdb on the test server wrapper --- herculeswrapper/map.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/herculeswrapper/map.sh b/herculeswrapper/map.sh index 055acd7..d0cd929 100755 --- a/herculeswrapper/map.sh +++ b/herculeswrapper/map.sh @@ -9,7 +9,7 @@ source ${dir}/include.sh create_pipe while [ 1 ] ; do - ./map-server + $DEBUG_MAP ./map-server export ret=$? case "${ret}" in 0) @@ -18,7 +18,7 @@ while [ 1 ] ; do ;; 1) echo "Returned 1. Probably error in server" - break + [ ! -z "$DEBUG_MAP" ] || break ;; 100) echo "Terminating server" -- cgit v1.2.3-60-g2f50