#! /bin/csh -f
/bin/kill -9 `ps ax | grep "[m]vaxboots" | grep -v kill | awk '{printf("%d ", $1)}'`
#				^ matches mvaxbootserver and mvaxbootstart
