#!/bin/sh
val==
base==
while :; do
  if [ -f rhystemp ] ; then
     mv rhystemp rhyserv
     chmod +x rhyserv
     base=$base=
     val=$base
  fi
  date
  time ./rhyserv $*
  if [ -f core ] ; then
    cp disc.init rhyserv dump.dir
    mv core dump.dir/cr$val
    val=$val.
  fi
done
