diff options
Diffstat (limited to 'network/users-agent/rc.users-agent')
| -rw-r--r-- | network/users-agent/rc.users-agent | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/network/users-agent/rc.users-agent b/network/users-agent/rc.users-agent deleted file mode 100644 index 304eca03dc..0000000000 --- a/network/users-agent/rc.users-agent +++ /dev/null @@ -1,29 +0,0 @@ -#!/bin/sh - -users_agent_start() { - if [ ! -e /var/run/users-agent/jud.pid ]; then - su - %JUDUSR% -c "/usr/bin/users-agent -c /etc/users-agent/config.xml &" - su - %JUDUSR% -c "ps ux" | awk '/users-agent/ && !/awk/ {print $2}' > /var/run/users-agent/jud.pid - fi -} - -users_agent_stop() { - kill `cat /var/run/users-agent/jud.pid 2> /dev/null` 2> /dev/null - rm -rf /var/run/users-agent/jud.pid 2> /dev/null -} - -case $1 in -'start') - users_agent_start - ;; -'stop') - users_agent_stop - ;; -'restart') - users_agent_stop - sleep 2 - users_agent_start - ;; -*) - echo "usage: `basename $0` {start|stop|restart}" -esac |