#!/bin/bash

pidfile=/tmp/CompileServer.pid

if [[ -f $pidfile ]]; then

pid=`cat $pidfile`
u_pid=`ps -ax -o pid= | grep "$pid" | tr -d ' '`

kill="kill -KILL"

if [[ `uname -s | grep CYGWIN` ]]; then
kill="kill -f -KILL"
fi

if [[ ${pid} == ${u_pid} ]]; then
echo $kill $pid
$kill $pid
rm $pidfile
exit 0
fi

fi

exit 1