#!/bin/bash

#echo "Running CVAO restart script ..."

# obtain the directory in which this file is located:
scriptdir=`dirname $BASH_SOURCE`

# kill any existing "cvaoScheduler" process (i.e., >any< matching process) - and kill it:
killall -9 "cvaoScheduler"

# start the job (in the background) and don't allow it to be killed upon logout:
# command-line arguments (-db [t/nil] -port NUMBER):
nohup $scriptdir/cvaoScheduler $1 $2 $3 $4 $5 $6 $7 $8 &

#echo "Finished CVAO restart script."
