8.3 Timeouts

(require web-server/managers/timeouts)

"managers/timeouts.ss" defines a manager constructor:

(create-timeout-manager   instance-exp-handler             instance-timeout             continuation-timeout)   →   manager?

instance-exp-handler : expiration-handler?

instance-timeout : number?

continuation-timeout : number?

Instances managed by this manager will be expired instance-timeout seconds after the last time it is accessed. If an expired instance is looked up, the exn:fail:servlet-manager:no-instance exception is thrown with instance-exp-handler as the expiration handler.

Continuations managed by this manager will be expired continuation-timeout seconds after the last time it is accessed. If an expired continuation is looked up, the exn:fail:servlet-manager:no-continuation exception is thrown with instance-exp-handler as the expiration handler, if no expiration-handler was passed to continuation-store!.

adjust-timeout! corresponds to reset-timer! on the timer responsible for the servlet instance.

This manager has been found to be... problematic... in large-scale deployments of the Web Server .