#!/bin/csh -f

@ reps = 1
if ($#argv == 1) @ reps = $1
set tms = `ps x|awk '/empire_tmserver/ && ! /awk/{print $1}'`

while ($reps > 0)
	kill -ALRM $tms
	sleep 10
	@ reps--
end
