Skip to content

Commit

Permalink
Fix #6597 Use dry run in jetty.sh
Browse files Browse the repository at this point in the history
update from review

Signed-off-by: Greg Wilkins <gregw@webtide.com>
  • Loading branch information
gregw committed Aug 11, 2021
1 parent 4cced35 commit b491e65
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions jetty-home/src/main/resources/bin/jetty.sh
Expand Up @@ -247,9 +247,9 @@ if [ -z "$JETTY_HOME" ]; then
exit 1
fi

RUN_DIR=$PWD
RUN_DIR=$(pwd)
cd "$JETTY_HOME"
JETTY_HOME=$PWD
JETTY_HOME=$(pwd)

##################################################
# Set JETTY_BASE
Expand All @@ -263,7 +263,7 @@ if [ -z "$JETTY_BASE" ]; then
fi
fi
cd "$JETTY_BASE"
JETTY_BASE=$PWD
JETTY_BASE=$(pwd)

#####################################################
# Check that jetty is where we think it is
Expand Down

0 comments on commit b491e65

Please sign in to comment.