up a webstation
#! /bin/csh
cd $WS_HOME/bin
./kill_web.sh
sleep 2
./clean_up_users >& $WS_LOG_PATH/clear_up_users.log
sleep 2
cd $WS_HOME/bin
./kill_web.sh
#mv $WS_LOG_PATH/ws.log.sav $WS_LOG_PATH/ws.log.sav2
#mv $WS_LOG_PATH/ws.log $WS_LOG_PATH/ws.log.sav
# rotate ws.log up to 9 backups
do_bak_rotate.sh $WS_LOG_PATH/ws .log
ulimit -n 1024
./webstation $WS_SERVER_PORT "$WS_HOME/ws/" 512 >& $WS_LOG_PATH/ws.log &
kill a webstation
#! /bin/csh
cd $WS_HOME/bin
./kill_web.sh
sleep 2
./clean_up_users >& $WS_LOG_PATH/clear_up_users.log
sleep 2
cd $WS_HOME/bin
./kill_web.sh
#mv $WS_LOG_PATH/ws.log.sav $WS_LOG_PATH/ws.log.sav2
#mv $WS_LOG_PATH/ws.log $WS_LOG_PATH/ws.log.sav
# rotate ws.log up to 9 backups
do_bak_rotate.sh $WS_LOG_PATH/ws .log
ulimit -n 1024
./webstation $WS_SERVER_PORT "$WS_HOME/ws/" 512 >& $WS_LOG_PATH/ws.log &