Changeset 2183

Timestamp:

Feb 20, 2009, 10:16:57 PM (16 years ago)

Author:

price

Message:

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.

Location:

trunk/packages/invirt-web/code

Files:

• Makefile (modified) (1 diff)
• kill.cgi (deleted)

trunk/packages/invirt-web/code/Makefile

@@ -8 +8 @@
 
 kill:
-        wget http://xvm.mit.edu/kill.cgi -O /dev/null -nv || true
+        pkill main.fcgi
 
 compile: