diff options
Diffstat (limited to 'network/users-agent/rc.users-agent')
| -rw-r--r-- | network/users-agent/rc.users-agent | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/network/users-agent/rc.users-agent b/network/users-agent/rc.users-agent new file mode 100644 index 0000000000..304eca03dc --- /dev/null +++ b/network/users-agent/rc.users-agent @@ -0,0 +1,29 @@ +#!/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 |