Commit d1126efe authored by hengwen's avatar hengwen

Switch to rmi image built by CI runner

parent 43215d44
......@@ -52,7 +52,7 @@ docker run \
--name=autopilot \
-d \
-e "ZOO_SERVERS=zookeeper" \
rmi-server:latest \
registry.git.rwth-aachen.de/monticore/embeddedmontiarc/simulators/rmimodelserver:latest \
bash -c "source ~/.bashrc &&
java -Djava.rmi.server.useLocalHostname -jar rmi-model-server.jar \
port=10101 autopilots_folder=autopilots default_config no_time os_linux"
......
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