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:

manager
exn: fail: servlet-manager: no-instance
exn: fail: servlet-manager: no-continuation

Version: 4.0.2
contents index
← prev up next →

#### 8.1`` General

(require web-server/managers/manager)

"managers/manager.ss" defines the manager interface. It is required by the users and implementers of managers.

(struct |  | manager | ( | create-instance
|  |  |  | adjust-timeout!
|  |  |  | clear-continuations!
|  |  |  | continuation-store!
|  |  |  | continuation-lookup))

create-instance : ((-> void) . -> . number?)
adjust-timeout! : (number? number? . -> . void)
clear-continuations! : (number? . -> . void)
continuation-store! : (number? any/c expiration-handler? . -> . (list/c number? number?))
continuation-lookup : (number? number? number? . -> . any/c)

create-instance is called to initialize a instance, to hold the continuations of one servlet session. It is passed a function to call when the instance is expired. It runs the id of the instance.

adjust-timeout! is a to-be-deprecated function that takes an instance-id and a number. It is specific to the timeout-based manager and will be removed.

clear-continuations! expires all the continuations of an instance.

continuation-store! is given an instance-id, a continuation value, and a function to include in the exception thrown if the continuation is looked up and has been expired. The two numbers returned are a continuation-id and a nonce.

continuation-lookup finds the continuation value associated with the instance-id, continuation-id, and nonce triple it is given.

(struct |  | (exn:fail:servlet-manager:no-instance exn:fail) | ( | expiration-handler

expiration-handler : expiration-handler?

This exception should be thrown by a manager when an instance is looked up that does not exist.

(struct |  | (exn:fail:servlet-manager:no-continuation exn:fail) | ( | expiration-handler

expiration-handler : expiration-handler?

This exception should be thrown by a manager when a continuation is looked up that does not exist.

contents index
← prev up next →