Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Theresa Pollinger
MoSIS
Commits
fa3f9ac3
Commit
fa3f9ac3
authored
Mar 05, 2018
by
Theresa Pollinger
Browse files
now this is how it works
parent
cde8eab9
Changes
1
Hide whitespace changes
Inline
Side-by-side
mmtinterface.py
View file @
fa3f9ac3
...
...
@@ -22,13 +22,13 @@ from lxml import etree
def
start_mmt_server
(
port_number
,
mmtjar
):
p
=
subprocess
.
run
([
"/usr/bin/java"
,
"-jar"
,
mmtjar
,
#"--file=server-interview.msl",
"
\
"
server
on "
+
str
(
port_number
)
+
"
\"
"
,
p
=
subprocess
.
run
([
"/usr/bin/java"
,
"-jar"
,
mmtjar
,
#
"--file=server-interview.msl",
"server
"
,
"on"
,
str
(
port_number
),
"--keepalive"
],
stdin
=
subprocess
.
PIPE
,
stdout
=
subprocess
.
PIPE
,
stderr
=
subprocess
.
STDOUT
)
out
=
p
.
stdout
if
p
.
returncode
!=
0
:
raise
MMTServerError
(
"Could not start the MMT server, return code "
+
str
(
p
.
returncode
))
if
p
.
returncode
!=
0
and
p
.
returncode
!=
130
:
raise
MMTServerError
(
"Could not start the MMT server, return code "
+
str
(
p
.
returncode
)
+
", "
+
str
(
out
)
)
#outs, errs = p.communicate()
#if outs is not None:
#print("MMT server terminated before rest of program, ") # this just wont stay alive!!!
...
...
@@ -178,7 +178,7 @@ class MMTInterface:
def
__init__
(
self
):
mmt_jar
=
"/home/freifrau/Desktop/masterarbeit/mmt/deploy/mmt.jar"
#port_number = 55555
port_number
=
run_mmt
(
mmt_jar
)
#, port_number)
port_number
=
run_mmt
(
mmt_jar
)
#
, port_number)
# set parameters for communication with mmt server
self
.
serverInstance
=
'http://localhost:'
+
str
(
port_number
)
self
.
extension
=
':interview'
...
...
Write
Preview
Supports
Markdown
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