#!/bin/sh
#
# A script to clean up the previous PVM-session gracefully.
#
# Usage: pvmclean
#
#--------------------------------------------------------------------------
# Author: Sami Saarinen
#         Center for Scientific Computing (CSC)
#         P.O.Box 405, Tietotie 6
#         FIN-02101 Espoo, Finland
#       >>e-mail: Sami.Saarinen@csc.fi
#
# Date:   25-OCT-1993
#--------------------------------------------------------------------------

: ${LOGNAME:=unknown}

UID=`awk -F: '{print ":",$1,":"}' /etc/passwd | /bin/grep ':$LOGNAME:' | awk -F: '{print $2}'`

if [ "$UID" = "" ] ;  then
  UID=`id | awk '{print $1}' | awk -F= '{print $2}' | awk -F\( '{print $1}'`
fi

if [ "$UID" = "" ] ;  then
  echo "pvmclean: Can't obtain user's UID-number"
  exit 1
fi

PVMDLOCKFILE=/tmp/pvmd.$UID
PVMDLOGFILE=/tmp/pvml.$UID
HOSTNAME=`hostname`

if [ ! -f $PVMDLOCKFILE ] ; then
  PVMDLOCKFILE=$PVMDLOCKFILE.$HOSTNAME
  PVMDLOGFILE=$PVMDLOGFILE.$HOSTNAME
fi

if [ -f $PVMDLOCKFILE ] ; then
  echo "halt" | pvm >/dev/null 2>&1
  /bin/rm -f $PVMDLOCKFILE
  if [ -f $PVMDLOGFILE -a $# = 0 ] ; then
     echo "=== Output from the logfile '$HOSTNAME:$PVMDLOGFILE' ==="
     cat $PVMDLOGFILE
#    /bin/rm -f $PVMDLOGFILE
  fi
fi

exit 0

