Web Server: PLT HTTP Server

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
contents index
← prev up next →

#### 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 .

contents index
← prev up next →