commit 30e2d7e5553bcf4c1b0e1d7aeca418735551c7f6 parent 3f73f7f8b07af316e2484372498292171dd0d8f3 Author: clamiax <smoppy@gmail.com> Date: Wed, 1 Oct 2014 18:26:40 +0200 Make pkill more aggressive Diffstat:
| M | spawncgi | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/spawncgi b/spawncgi @@ -6,5 +6,5 @@ if [ "$(id -un)" != "www-data" ]; then exit 1 fi -[ $(pgrep -fl php5 |wc -l) -ne 0 ] && pkill -f php5-cgi +[ $(pgrep -fl php5 |wc -l) -ne 0 ] && pkill -9f php5-cgi /usr/bin/php5-cgi -b 127.0.0.1:9000 &