#!/bin/ksh
#  Kill cron, reset the system clock, and restart cron
##################################################################
#
set -- `ps -e | grep cron` && PID=$1
/bin/kill -9  $PID
#
#  Use this sequence on SunOS 4.x:
# /bin/kill -9  `ps -ax | grep cron | grep -v grep | cut -c 1-5 `
#
date >> time_set.log
#
#  Replace "tycho" with the host name of your local area time server:
/usr/local/bin/time_set tycho >> time_set.log
#
date>>time_set.log
#
echo " " >> time_set.log
#
/etc/cron
##################################################################