diff options
Diffstat (limited to 'www/monkey/files/monkey.sh')
-rw-r--r-- | www/monkey/files/monkey.sh | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/www/monkey/files/monkey.sh b/www/monkey/files/monkey.sh deleted file mode 100644 index 545e8f81cba2..000000000000 --- a/www/monkey/files/monkey.sh +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh - -if ! PREFIX=$(expr $0 : "\(/.*\)/etc/rc\.d/$(basename $0)\$"); then - echo "$0: Cannot determine the PREFIX" >&2 - exit 1 -fi - -case "$1" in - start) - if [ -x ${PREFIX}/sbin/monkey ]; then - ${PREFIX}/sbin/monkey -D - echo -n ' monkey' - fi - ;; - stop) - kill `cat /var/run/monkey.pid` - echo -n ' monkey' - ;; - *) - echo "Usage: `basename $0` {start|stop}" >&2 - ;; -esac |