#!/bin/ksh
#
# A script to find a process for a userid
# Syntax: user_process <userid>
if [ x$1 = "x" ]
then
	echo "Usage: user_process <userid>"
	exit 1
fi
ps -ef | grep _progres | grep $1