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 &