1 Running the Web Server
2 Scheme Servlets
3 Web Language Servlets
4 Configuration
5 Dispatchers
6 Web Config Unit
7 Web Server Unit
8 Continuation Managers
9 Internal
10 Troubleshooting
11 Acknowledgements
Index
On this page:
create-timeout-manager
Version: 4.0.2

 

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 .