diff --git a/src/script/Makefile.am b/src/script/Makefile.am index 3994684c..508e5fe1 100644 --- a/src/script/Makefile.am +++ b/src/script/Makefile.am @@ -1,6 +1,5 @@ EXTRA_DIST = \ $(distributable_scripts) \ - hydra-control \ hydra-eval-guile-jobs.in distributable_scripts = \ diff --git a/src/script/hydra-control b/src/script/hydra-control deleted file mode 100755 index 7349e303..00000000 --- a/src/script/hydra-control +++ /dev/null @@ -1,42 +0,0 @@ -#! /bin/sh - -action="$1" - -if test -z "$HYDRA_DATA"; then - echo "Error: \$HYDRA_DATA is not set"; - exit 1 -fi - -if test "$action" = "start"; then - - hydra-server > $HYDRA_DATA/server.log 2>&1 & - echo $! > $HYDRA_DATA/server.pid - - hydra-evaluator > $HYDRA_DATA/evaluator.log 2>&1 & - echo $! > $HYDRA_DATA/evaluator.pid - - hydra-queue-runner > $HYDRA_DATA/queue-runner.log 2>&1 & - echo $! > $HYDRA_DATA/queue_runner.pid - -elif test "$action" = "stop"; then - - kill $(cat $HYDRA_DATA/server.pid) - kill $(cat $HYDRA_DATA/evaluator.pid) - kill $(cat $HYDRA_DATA/queue_runner.pid) - -elif test "$action" = "status"; then - - echo -n "Hydra web server... " - (kill -0 $(cat $HYDRA_DATA/server.pid) 2> /dev/null && echo "ok") || echo "not running" - - echo -n "Hydra evaluator... " - (kill -0 $(cat $HYDRA_DATA/evaluator.pid) 2> /dev/null && echo "ok") || echo "not running" - - echo -n "Hydra queue runner... " - (kill -0 $(cat $HYDRA_DATA/queue_runner.pid) 2> /dev/null && echo "ok") || echo "not running" - - -else - echo "Syntax: $0 [start|stop|status]" - exit 1 -fi