runConcraftBackend.sh 314 Bytes
#!/bin/bash
set -exo pipefail

PORT=$1
SERVICE=concraft-multiservice-backend
MODEL=`readlink -f ../config/concraft/model-04-09-2018.gz`


killport.sh $PORT

nohup ../third_party/concraft-dag2-pl server --port=$PORT -i $MODEL +RTS -N5 >$MULTISERVICE_LOG/$SERVICE-$PORT.out 2> $MULTISERVICE_LOG/$SERVICE-$PORT.err &