run_with_zookeeper.sh

#!/usr/bin/env bash


if [ -z "$1" ]; then
    PORT=10101
else
    PORT="$1"
fi

AUTOPILOT_FOLDER=autopilots

java -cp rmi-model-server.jar\
    -Djava.rmi.server.codebase=file:rmi-model-server.jar\
    -Djava.rmi.server.useLocalHostname rwth.rmi.model.server.RMIServer\
     $PORT $AUTOPILOT_FOLDER os=linux no_time