nunomagalhaes at eu.ipp.pt
Wed Sep 9 02:31:10 MSD 2009
> 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 . Of course if the bad worker is just
frozen or dead, i guess you'd have to kill it first, then HUP nginx
I think nginx will wait until workers are free before replacing them,
hence the need to maybe kill the lazy worker.
() ascii-rubanda kampajno - kontraŭ html-a retpoŝto
/\ ascii ribbon campaign - against html e-mail
More information about the nginx