#!/bin/sh
#
# Author: Tim Van Wassenhove
# Update: 12-12-2003 13:15
#
# This script kills all processes that are owned by a given user.
#

if [ -n "$1" ]
then
	ps -ef | grep $1 | grep -v grep | awk '{ print $2 }' | xargs kill -9
else
	echo "Usage: killuser.sh username"
fi