run_with_zookeeper.sh 316 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
Typo    
hengwen committed
14
     $PORT $AUTOPILOT_FOLDER os=linux no_time