#!/bin/bash


#
# stops UVOS WS server
#

source /usr/share/unicore/uvos-server/script/_setenv.sh
LAST_PID="/var/run/unicore/uvos-server.pid"

if [ -e $LAST_PID ]
then
	kill -15 `cat $LAST_PID`
else
	echo "No LAST_PID file. It seems that server is not running."
	exit
fi

P=`cat $LAST_PID`
echo "Waiting for server to stop..."
stopped="no"
until [ "$stopped" = "" ]; do
  stopped=$(ps -p $P | grep $P)
  if [ $? != 0 ]
  then
    stopped=""
  fi
  sleep 1
done

echo "Server stopped."

rm -f $LAST_PID
