run_with_zookeeper.sh 315 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/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\
hengwen's avatar
Bugfix  
hengwen committed
14
     $PORT $AUTOPILOT_FOLDERos=linux no_time