Commit 1de412f1 authored by Lubomir Bulej's avatar Lubomir Bulej

Added dislserver.disablebypass among available options in runServer.sh

parent ed5bcc0c
......@@ -26,6 +26,7 @@ shift
# -Ddislserver.port="portNum" \
# -Ddislserver.timestat=true \
# -Ddislserver.continuous=true \
# -Ddislserver.disablebypass=true \
${JAVA_HOME:+$JAVA_HOME/jre/bin/}java \
-cp ${INSTR_LIB}:${DISL_LIB_P}/disl-server.jar \
ch.usi.dag.dislserver.DiSLServer \
......
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