Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
EmbeddedMontiArc
simulators
RMIModelServer
Commits
506a25d1
Commit
506a25d1
authored
Jun 03, 2019
by
hengwen
Browse files
Change rmi server hostname
parent
0e87481d
Pipeline
#146421
passed with stages
in 2 minutes and 51 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
install/run.bat
View file @
506a25d1
...
...
@@ -23,5 +23,5 @@
call
config
.bat
echo
Starting
RMIModelServer
on
port
%PORT%
with
Autopilot
folder
:
%AUTOPILOT_FOLDER%
java
"-Djava.rmi.server.codebase=file:rmi-model-server.jar"
"-Djava.rmi.server.hostname=
127.0.0.1
"
-cp
rmi
-model-server
.jar
rwth
.rmi.model.server.RMIServer
%PORT%
%AUTOPILOT_FOLDER%
--no-zookeeper
%
*
java
"-Djava.rmi.server.codebase=file:rmi-model-server.jar"
"-Djava.rmi.server.hostname=
localhost
"
-cp
rmi
-model-server
.jar
rwth
.rmi.model.server.RMIServer
%PORT%
%AUTOPILOT_FOLDER%
--no-zookeeper
%
*
pause
install/run.sh
View file @
506a25d1
...
...
@@ -20,8 +20,7 @@
# *******************************************************************************
#
./config.sh
source
./config.sh
echo
"Starting RMIModelServer on port
$PORT
with Autopilot folder:
$AUTOPILOT_FOLDER
"
java
"-Djava.rmi.server.codebase=file:rmi-model-server.jar"
"-Djava.rmi.server.hostname=127.0.0.1"
-cp
rmi-model-server.jar rwth.rmi.model.server.RMIServer
$PORT
$AUTOPILOT_FOLDER
--no-zookeeper
%
*
pause
java
"-Djava.rmi.server.codebase=file:rmi-model-server.jar"
"-Djava.rmi.server.hostname=localhost"
-cp
rmi-model-server.jar rwth.rmi.model.server.RMIServer
$PORT
$AUTOPILOT_FOLDER
--no-zookeeper
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment