| # Change this accordingly |
| ONOS_HOME=${ONOS_HOME:-${HOME}/ONOS} |
| script_name="simple_web_server.py" |
| restscript=${WEBDIR}/$script_name |
| LOGDIR=${ONOS_LOGDIR:-${ONOS_HOME}/onos-logs} |
| REST_LOG="${LOGDIR}/rest.`hostname`.log" |
| for cpid in $(ps -o pid= --ppid $1) |
| echo "killing: $(ps -p $1 -o cmd=)" |
| kill -9 $1 > /dev/null 2>&1 |
| for i in `seq $(expr $nr_max - 1) -1 1`; do |
| if [ -f ${logfile}.${i} ]; then |
| mv -f ${logfile}.${i} ${logfile}.`expr $i + 1` |
| pids=`ps -edalf |grep ${script_name} | grep python | grep -v grep | awk '{print $4}'` |
| nr_process=`ps -edalf |grep ${script_name} | grep python | grep -v grep | wc -l` |
| if [ ${nr_process} != 0 ] ; then |
| echo "rest server is running" |
| echo "rest server is not running" |
| $restscript > $REST_LOG 2>&1 & |
| echo "Usage: $0 {start|stop|status}" |