releng.control/killall.sh

 #!/usr/bin/env bash

echo;
echo "   Kill webtools Cruisecontrol server";
./killcc.sh 

echo "   Kill any other process under 'webtools'";
pkill -f webtools
echo;