#! /bin/csh -f

if ( $#argv > 0 ) then
  set machines = ($*)
else
  set machines = ($DPMACHINES)
endif

foreach f ($machines)
  set u = `dp -m $f si | grep ZZMain | sed 's/ *\([0-9][0-9]*\) .*/\1/'`
  foreach pid ($u)
    set msg = "`dp -m $f si -h $pid`"
    echo "${f}: $msg"
    dp -m $f kill -KILL $pid
  end
end