From: Greg Price <price@mit.edu>
Date: Sat, 21 Feb 2009 03:16:57 +0000 (-0500)
Subject: pkill directly rather than fool around with a CGI
X-Git-Tag: 0.0.21~10
X-Git-Url: http://xvm.mit.edu/gitweb/invirt/packages/invirt-web.git/commitdiff_plain/d155bef91573b935833788b7f4f8f98484e383d1?ds=inline

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
---

diff --git a/code/Makefile b/code/Makefile
index 270a871..ee8bbd9 100644
--- a/code/Makefile
+++ b/code/Makefile
@@ -7,7 +7,7 @@ chmod:
 	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 \
diff --git a/code/kill.cgi b/code/kill.cgi
deleted file mode 100755
index f297d32..0000000
--- a/code/kill.cgi
+++ /dev/null
@@ -1,5 +0,0 @@
-#!/bin/sh
-pkill main.fcgi
-echo "Content-Type: text/plain"
-echo
-echo "Killed."