Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
7
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Open sidebar
monticore
EmbeddedMontiArc
simulators
RMIModelServer
Commits
1adda07a
Commit
1adda07a
authored
Jun 05, 2019
by
hengwen
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Add script for running rmi server with zookeeper
parent
f0503ad4
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
41 additions
and
0 deletions
+41
-0
install/run_with_zookeeper.bat
install/run_with_zookeeper.bat
+27
-0
install/run_with_zookeeper.sh
install/run_with_zookeeper.sh
+14
-0
No files found.
install/run_with_zookeeper.bat
0 → 100644
View file @
1adda07a
@REM
@REM
@REM ******************************************************************************
@REM MontiCAR Modeling Family, www.se-rwth.de
@REM Copyright (c) 2017, Software Engineering Group at RWTH Aachen,
@REM All rights reserved.
@REM
@REM This project is free software; you can redistribute it and/or
@REM modify it under the terms of the GNU Lesser General Public
@REM License as published by the Free Software Foundation; either
@REM version 3.0 of the License, or (at your option) any later version.
@REM This library is distributed in the hope that it will be useful,
@REM but WITHOUT ANY WARRANTY; without even the implied warranty of
@REM MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
@REM Lesser General Public License for more details.
@REM
@REM You should have received a copy of the GNU Lesser General Public
@REM License along with this project. If not, see <http://www.gnu.org/licenses/>.
@REM *******************************************************************************
@REM
@echo
off
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.useLocalHostname"
-cp
rmi
-model-server
.jar
rwth
.rmi.model.server.RMIServer
%PORT%
%AUTOPILOT_FOLDER%
os
=
windows
no_time
%
*
pause
install/run_with_zookeeper.sh
0 → 100755
View file @
1adda07a
#!/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
\
$AUTOPILOT_FOLDER
$PORT
os
=
linux no_time
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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