[not loaded]All predicatesShow sourcehttp_dyn_workers.pl -- Dynamically schedule HTTP workers.

This module defines hooks into the HTTP framework to dynamically schedule worker threads. Dynamic scheduling relieves us from finding a good value for the size of the HTTP worker pool.

The decision to add a worker follows these rules:

Source http:schedule_workers(+Dict)[multifile]
Called if there is no immediately free worker to handle the incomming request. The request is forwarded to the thread =__http_scheduler= as the hook is called in time critical code.
Source reschedule(+Message, +State0, -State) is semidet[private]
Source accept_queue(+Dict, -Queue)[private]
As of 7.7.16, queue is a member of the provided dict. For older versions we need a hack.