Merge "Guard for worlddump in case LOGDIR is undefined"

2014-08-19 20:39:27 +00:00 · 2014-08-19 20:39:27 +00:00 · f8f97a677a
commit f8f97a677a
parent 9504bb376d 2696e5a067
1 changed files with 5 additions and 1 deletions
--- a/stack.sh
+++ b/stack.sh
@ -631,7 +631,11 @@ function exit_trap {

    if [[ $r -ne 0 ]]; then
        echo "Error on exit"
-        ./tools/worlddump.py -d $LOGDIR
+        if [[ -z $LOGDIR ]]; then
+            ./tools/worlddump.py
+        else
+            ./tools/worlddump.py -d $LOGDIR
+        fi
    fi

    exit $r