#!/bin/sh

### This script has been patched for distribution to Debian systems.

for TPPID in `ps -eo pid,comm | grep crded | cut -d' ' -f1`
do
/bin/kill -9 $TPPID
rm -f `ls $HOME/.config/alien-arena/alien-arena-server.*.pid`
done
