#! /bin/sh

# permission of this file should be set to be group executable 
# use absolute paths (since another user executes this script):
# NO $HOME or ~/

PLAYER=player
COACH=coach

killall -KILL ${PLAYER}
killall -KILL ${COACH}
