add option for force re-download of server file

Signed-off-by: Jeff Billimek <jeff@billimek.com>
This commit is contained in:
Jeff Billimek
2019-06-12 14:33:10 -04:00
parent da1a3a47cd
commit 35e2448f8e
6 changed files with 19 additions and 5 deletions
+1 -1
View File
@@ -6,7 +6,7 @@ if isURL ${CUSTOM_SERVER}; then
filename=$(basename ${CUSTOM_SERVER})
export SERVER=/data/${filename}
if [[ -f ${SERVER} ]]; then
if [[ -f ${SERVER} ]] || [ -n "$FORCE_REDOWNLOAD" ]; then
echo "Using previously downloaded jar at ${SERVER}"
else
echo "Downloading custom server jar from ${CUSTOM_SERVER} ..."