Heart beat

[Nuno Magalhães]

> Yeah for sure wget call would do it, but communicate the result from wget to Nginx in order to drop the misbehaving worker out?

I don't know about one single worker, but you can HUP nginx, it'll
create new workers. See [1]. Of course if the bad worker is just
frozen or dead, i guess you'd have to kill it first, then HUP nginx
main process.

I think nginx will wait until workers are free before replacing them,
hence the need to maybe kill the lazy worker.

HTH

[1] http://wiki.nginx.org/NginxCommandLine#Controlling_Nginx_Via_the_Signals

-- 
()  ascii-rubanda kampajno - kontraŭ html-a retpoŝto
/\  ascii ribbon campaign - against html e-mail