#!/bin/sh

# pausefactor [n] causes factoring to pause on machine $MACH for n
# (default 3600) seconds.  To stun factoring more seriously, touch
# shortkill.$MACH, mediumkill.$MACH, or longkill.$MACH.

if test -z "${FPATH+yes}"
then
  FPATH=/bin:/usr/bin:/usr/ucb:/etc:${FACTORPATH-.}; export FPATH 
fi
PATH=$FPATH; export PATH

. environ

pause=$OUTDIR/.pause.$MACH; run=$OUTDIR/.run.$MACH

trap "rm -f $pause; $RESUMECMD $pid >/dev/null 2>&1; exit 0" 1
if test -s $run
then
  pid=`sed 1d $run`
  touch $pause
  $PAUSECMD $pid >/dev/null 2>&1
  sleep ${1-3600}
  $RESUMECMD $pid >/dev/null 2>&1
  rm -f $pause
fi