mediaproxy

#!/bin/sh## mediaproxy   starts and stops the SER MediaProxy serverPATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/binINSTALL_DIR="/usr/local"RUNTIME_DIR="/var/run"PROXY="$INSTALL_DIR/mediaproxy/mediaproxy.py"DISPATCHER="$INSTALL_DIR/mediaproxy/proxydispatcher.py"PROXY_PID="$RUNTIME_DIR/mediaproxy.pid"DISPATCHER_PID="$RUNTIME_DIR/proxydispatcher.pid"# Options for mediaproxy and dispatcher. Do not include --pid <pidfile># --pid <pidfile> will be added automatically if needed.PROXY_OPTIONS="--vip=111.111.111.111"DISPATCHER_OPTIONS=""NAME="mediaproxy"DESC="SER MediaProxy server"test -f $PROXY      || exit 0test -f $DISPATCHER || exit 0if [ "$PROXY_PID" != "/var/run/mediaproxy.pid" ]; then    PROXY_OPTIONS="--pid $PROXY_PID $PROXY_OPTIONS"fiif [ "$DISPATCHER_PID" != "/var/run/proxydispatcher.pid" ]; then    DISPATCHER_OPTIONS="--pid $DISPATCHER_PID $DISPATCHER_OPTIONS"fistart() {    echo -n "Starting $DESC: $NAME"    start-stop-daemon --start --quiet --pidfile $PROXY_PID      \                      --exec $PROXY -- $PROXY_OPTIONS    start-stop-daemon --start --quiet --pidfile $DISPATCHER_PID \                      --exec $DISPATCHER -- $DISPATCHER_OPTIONS    echo "."}stop () {    echo -n "Stopping $DESC: $NAME"    start-stop-daemon --stop --quiet --oknodo --signal 15 --pidfile $PROXY_PID    start-stop-daemon --stop --quiet --oknodo --signal 15 --pidfile $DISPATCHER_PID    echo "."}case "$1" in    start)        start        ;;    stop)        stop        ;;    restart|force-reload)        stop        #sleep 1        start        ;;    *)        echo "Usage: /etc/init.d/$NAME {start|stop|restart|force-reload}" >&2        exit 1        ;;esacexit 0