Commit 8f83922b authored by Hengwen Zhang's avatar Hengwen Zhang

Update default rmi setting

parent 7e9fb5fe
Pipeline #190138 passed with stage
in 1 minute and 17 seconds
...@@ -20,4 +20,4 @@ COPY rmi-model-server.jar ./rmi-model-server.jar ...@@ -20,4 +20,4 @@ COPY rmi-model-server.jar ./rmi-model-server.jar
COPY ./autopilots/ ./autopilots/ COPY ./autopilots/ ./autopilots/
CMD exec bash -c "source ~/.bashrc && java -jar rmi-model-server.jar -Djava.rmi.server.hostname=localhost port=10101 autopilots_folder=autopilots no-zookeeper \ CMD exec bash -c "source ~/.bashrc && java -jar rmi-model-server.jar -Djava.rmi.server.hostname=localhost port=10101 autopilots_folder=autopilots no-zookeeper \
no_time os=linux" no_time os=windows"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment