Aufgrund einer Wartung wird GitLab am 28.09. zwischen 10:00 und 11:00 Uhr kurzzeitig nicht zur Verfügung stehen. / Due to maintenance, GitLab will be temporarily unavailable on 28.09. between 10:00 and 11:00 am.

Commit 47bc5926 authored by hengwen's avatar hengwen

Update rmi setting

parent eac74dcd
...@@ -26,7 +26,7 @@ services: ...@@ -26,7 +26,7 @@ services:
entrypoint: entrypoint:
- bash - bash
- -c - -c
- "source ~/.bashrc && java -Djava.rmi.server.useLocalHostname -jar rmi-model-server.jar port=10101 autopilots_folder=autopilots no_time os=linux" - "source ~/.bashrc && java -Djava.rmi.server.useLocalHostname -jar rmi-model-server.jar port=10101 autopilots_folder=autopilots no_time os=windows"
rpc-server: rpc-server:
image: registry.git.rwth-aachen.de/monticore/embeddedmontiarc/simulators/server:rpc image: registry.git.rwth-aachen.de/monticore/embeddedmontiarc/simulators/server:rpc
......
...@@ -26,7 +26,7 @@ services: ...@@ -26,7 +26,7 @@ services:
entrypoint: entrypoint:
- bash - bash
- -c - -c
- "source ~/.bashrc && java -Djava.rmi.server.useLocalHostname -jar rmi-model-server.jar port=10101 autopilots_folder=autopilots no_time os=linux" - "source ~/.bashrc && java -Djava.rmi.server.useLocalHostname -jar rmi-model-server.jar port=10101 autopilots_folder=autopilots no_time os=windows"
rpc-server: rpc-server:
image: rpc-server image: rpc-server
......
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