#!/bin/sh
#
#
# (c) 2002 Sun Microsystems, Inc. Use is subject to license terms.  

set +u

ckpt_dir=$3

if [ ! -f $ckpt_dir/ckpt.log ]; then
   touch $ckpt_dir/ckpt.log
   chmod 666 $ckpt_dir/ckpt.log
fi

if [ "$SGE_TASK_ID" = "undefined" -o "$SGE_TASK_ID" = "" ]; then
   jobid=$JOB_ID
else
   jobid=$JOB_ID.$SGE_TASK_ID
fi

# create temp directory for holding checkpoint info

tmpdir=$ckpt_dir/ckpt.$jobid
mkdir -p $tmpdir
cd $tmpdir

# create log file

F=$tmpdir/checkpoint.log
touch $F
exec >> $F 2>&1

echo -------------------------------------------------------------
echo `basename $0` called at `date`
echo called by: `id`
echo with args: $*

job_pid=`cat job_pid`
osjobid=`cat osjobid`

if [ -z "$SGE_LEAVE_CKPT_DIR" -a "$4" != "save" ]; then
   echo Deleting restart file
   /usr/bin/rmresf chkpnt_$jobid
   cd $ckpt_dir
   if [ "$4" = "save_log" ]; then
      cp $F $ckpt_dir/checkpoint.log.$jobid
   fi
   rm -rf $tmpdir
fi

echo `date +"%D %T"` Job $jobid "(job_pid=$job_pid, osjobid=$osjobid) cleaned up" >> $ckpt_dir/ckpt.log

