| commit | 34f02f7645d463880db40de50553f5b21bce94da | [log] [tgz] |
|---|---|---|
| author | david_williams <david_williams> | Mon Aug 09 20:32:36 2010 +0000 |
| committer | david_williams <david_williams> | Mon Aug 09 20:32:36 2010 +0000 |
| tree | c0ecb3d5647947cca977ed62391266f1e91b6970 | |
| parent | fe35a9c0fdfe0dfc23c5e851d8c23bb66e0ab231 [diff] |
tweak kill script to kill cc "formally"
diff --git a/releng.control/killall.sh b/releng.control/killall.sh index 8f82ef8..e673f18 100644 --- a/releng.control/killall.sh +++ b/releng.control/killall.sh
@@ -1,3 +1,9 @@ #!/usr/bin/env bash +echo; +echo " Kill webtools Cruisecontrol server"; +./killcc.sh + +echo " Kill any other process under 'webtools'"; pkill -f webtools +echo;