Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 3 | reyssat | 1 | #! /bin/sh |
| 2 | |||
| 3 | WIMS_HOME=`dirname $0`/.. |
||
| 4 | cd $WIMS_HOME/public_html |
||
| 5 | if [ ! -f wims ]; then exit; fi |
||
| 6 | ln -sf interrupt.cgi wims.cgi |
||
| 7 | # rm -f $WIMS_HOME/tmp/log/wimslogd.pid |
||
| 8 | |||
| 9 | # We must sleep in order to let all the running processes terminate. |
||
| 10 | |||
| 11 | echo Waiting for running processes to terminate... |
||
| 12 | sleep 10 |
||
| 13 | echo OK. |
||
| 14 |