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

code/Makefile
code/kill.cgi [deleted file]

index 270a871..ee8bbd9 100644 (file)
@@ -7,7 +7,7 @@ chmod:
        chmod -R g+w . 2>/dev/null || true
 
 kill:
        chmod -R g+w . 2>/dev/null || true
 
 kill:
-       wget http://xvm.mit.edu/kill.cgi -O /dev/null -nv || true
+       pkill main.fcgi
 
 compile:
        for dir in $(DIRS); do \
 
 compile:
        for dir in $(DIRS); do \
diff --git a/code/kill.cgi b/code/kill.cgi
deleted file mode 100755 (executable)
index f297d32..0000000
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-pkill main.fcgi
-echo "Content-Type: text/plain"
-echo
-echo "Killed."