From 39048aa27b2330f96b415cde7de5865e637c0e9a Mon Sep 17 00:00:00 2001 From: Jean-Philippe Orsini Date: Mon, 16 Oct 2017 09:58:29 +0200 Subject: [PATCH] fix --- war/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/war/run.sh b/war/run.sh index fa49ece..02c44ba 100755 --- a/war/run.sh +++ b/war/run.sh @@ -4,9 +4,9 @@ SDIR=`dirname $0` SWAR=`realpath $SDIR/target/pnews-1.0.war` if [ -z "$1" ]; then - SHARED_DIR="$1" -else exit 1 +else + SHARED_DIR="$1" fi echo "SHARED_DIR=$SHARED_DIR" -- 2.7.4