| david_williams | 5125637 | 2010-04-20 21:04:25 +0000 | [diff] [blame] | 1 | #!/usr/bin/env bash |
| david_williams | 511d58a | 2008-12-16 02:59:08 +0000 | [diff] [blame] | 2 | |
| david_williams | 34f02f7 | 2010-08-09 20:32:36 +0000 | [diff] [blame^] | 3 | echo; |
| 4 | echo " Kill webtools Cruisecontrol server"; | ||||
| 5 | ./killcc.sh | ||||
| 6 | |||||
| 7 | echo " Kill any other process under 'webtools'"; | ||||
| david_williams | 511d58a | 2008-12-16 02:59:08 +0000 | [diff] [blame] | 8 | pkill -f webtools |
| david_williams | 34f02f7 | 2010-08-09 20:32:36 +0000 | [diff] [blame^] | 9 | echo; |