fastcgi: Also kill trac and wipi processes.

diff --git a/etc/init.d/fastcgi b/etc/init.d/fastcgi
index 67b7ac88df7ea1e3974a501e18c0b0a0c15ef42f..77dcb0993c3ee39db910743a1cf90d2c7ea3d0a4 100755 (executable)
--- a/etc/init.d/fastcgi
+++ b/etc/init.d/fastcgi
@@ -41,7 +41,7 @@ APPLICATIONS={"php": "/usr/bin/php-cgi"}
 # Kill these procs before starting new ones. Only processes of these names that
 # are run by the sites in SITES are killed. This is a bit hackish, we should
 # really be using pidfiles...
-KILL_PROCS=['php-cgi', 'manage.py']
+KILL_PROCS=['php-cgi', 'manage.py', 'trac.fcgi', 'wipi.fcgi']
 
 ## ABSOLUTE path to the spawn-fcgi binary
 SPAWNFCGI="/usr/bin/spawn-fcgi"