projects / invirt/packages/invirt-web.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ce9e31) | patch
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)
commitd155bef91573b935833788b7f4f8f98484e383d1
treea40145b03901d468f4ed771d32266f04ae5a57c2tree | snapshot
parent4ce9e31db6102ba0d2597e2e62d23c484450d85dcommit | diff
pkill directly rather than fool around with a CGI

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
code/Makefile diff | blob | history
code/kill.cgi [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.