#!/bin/sh #SERVICE_HOME=$(dirname $0) USER_HOME=/home/asnuser SERVICE_HOME=/home/asnuser/bin ${SERVICE_HOME}/stop.sh server sleep 1 ${SERVICE_HOME}/stop.sh client sleep 1 ${SERVICE_HOME}/stop.sh scheduler sleep 1 ${SERVICE_HOME}/stat.sh