diff --git a/basice2e/run.sh b/basice2e/run.sh index 8c1a305d5dd505dfe583ca4905469f55305b340d..d4a7a7ee2d07eda341b0e22c8487f89dfb320f4a 100755 --- a/basice2e/run.sh +++ b/basice2e/run.sh @@ -71,7 +71,7 @@ jobs -p > results/serverpids finish() { echo "STOPPING SERVERS AND GATEWAYS..." - if [ -z "NSYSENABLED" ]; then + if [ -z "$NSYSENABLED" ]; then nsys shutdown --kill=sigterm fi # NOTE: jobs -p doesn't work in a signal handler