#!/bin/csh -f
who | cut -f1 -d' ' | grep $1
if ( !  $status ) then
	echo $1 is logged on > /dev/tty
else
	sleep 10
	exec $0 $1
endif