clearer names for actions, and infer actions better
[monitor.git] / tools / kill.cmd.sh
2009-12-14 Barış Metinhope I got the merge wright...