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