From d155bef91573b935833788b7f4f8f98484e383d1 Mon Sep 17 00:00:00 2001
From: Greg Price <price@mit.edu>
Date: Fri, 20 Feb 2009 22:16:57 -0500
Subject: [PATCH] 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 |    2 +-
 code/kill.cgi |    5 -----
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100755 code/kill.cgi

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."
-- 
1.7.9.5