Rev 547 | Rev 2863 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
pid=`ps -a | grep trac | cut -c 1-5`
if [ "$pid" != "" ]
then
echo "Killing process id $pid"
kill $pid
#!/bin/bash
else
echo "Trac is not running"
killall -9 python2.6
fi