pkill directly rather than fool around with a CGI
authorGreg Price <price@mit.edu>
Sat, 21 Feb 2009 03:16:57 +0000 (22:16 -0500)
committerGreg Price <price@mit.edu>
Sat, 21 Feb 2009 03:16:57 +0000 (22:16 -0500)
kill.cgi has been broken for a while, and the Makefile has the wrong URI
for dev anyway.

svn path=/trunk/packages/invirt-web/; revision=2183


No differences found