From c50fec4abbd7a8a80f99069a830b43eebae3f06b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tobi=20Sch=C3=A4fer?= Date: Sat, 17 Dec 2016 10:50:18 +0100 Subject: [PATCH] add: -i flag for helma installation dir (just for the record) --- start.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/start.sh b/start.sh index be533096..fa23c3a6 100755 --- a/start.sh +++ b/start.sh @@ -71,7 +71,7 @@ if [ "$RMI_PORT" ]; then echo Starting RMI server on port $RMI_PORT fi if [ "$HOP_HOME" ]; then - SWITCHES="$SWITCHES -h $HOP_HOME" + SWITCHES="$SWITCHES -i $HOP_HOME -h $HOP_HOME" fi # Invoke the Java VM