stardog-server.sh

#!/usr/bin/env bash

set -e

source /etc/stardog.env.sh

STARDOG_BIN=/opt/stardog/bin
PORT=5820

start()
{
   echo "Starting stardog"
   ${STARDOG_BIN}/stardog-admin server start --daemon --home ${STARDOG_HOME} --port ${PORT} "${@}"
}

stop()
{
   echo "Stopping stardog"
   kill $(cat ${STARDOG_HOME}/stardog.pid)
}

case "$1" in
    start)
        shift
        start "${@}"
        ;;

    stop)
        stop
        ;;

    restart|reload)
        stop
        start
        ;;

    *)
        echo "Usage: $0 {start|stop|restart}"
        exit 1;