You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
13 lines
396 B
13 lines
396 B
#!/bin/bash
|
|
|
|
SLEDGE_CMUSOD_DIR="/users/emil/sledge-server/tests/cmu-sod"
|
|
# SLEDGE_CMUSOD_DIR="/home/gwu/sledge/tests/cmu-sod"
|
|
|
|
pidof sledgert >/dev/null
|
|
if [[ $? -ne 0 ]] ; then
|
|
now=$(date)
|
|
echo "" >> $SLEDGE_CMUSOD_DIR/server_log.txt
|
|
echo "Restarting Sledge: $now" >> $SLEDGE_CMUSOD_DIR/server_log.txt
|
|
make -C $SLEDGE_CMUSOD_DIR run &>> $SLEDGE_CMUSOD_DIR/server_log.txt &
|
|
fi
|