#!/bin/sh

#
# File: pvmclean
# Auth: Christian Hansen (chansen@cs.umd.edu)
#       University of Maryland, College Park
# Desc: Cleans up any remaining pvmds and files
# Date: 07/09/04
#

output=`ps -u $USER -o pid,comm | grep pvmd3`
if test "$output" != ""; then
  echo $output > /tmp/pkill
  pid=`awk '{ print $1 }' /tmp/pkill`
  kill -TERM $pid
fi
rm -f /tmp/pvm*
