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:

timer
start-timer-manager
start-timer
reset-timer!
increment-timer!
cancel-timer!

Version: 4.0.2
contents index
← prev up next →

#### 9.1`` Timers

(require web-server/private/timer)

"private/timer.ss" provides a functionality for running procedures after a given amount of time, that may be extended.

(struct |  | timer |  | (evt expire-seconds action))

evt : evt?
expire-seconds : number?
action : (-> void)

evt is an alarm-evt that is ready at expire-seconds. action should be called when this evt is ready.

(start-timer-manager cust) → void
cust : custodian?

Handles the execution and management of timers. Resources are charged to cust.

(start-timer s action) → timer?
s : number?
action : (-> void)

Registers a timer that runs action after s seconds.

(reset-timer! t s) → void
t : timer?
s : number?

Changes t so that it will fire after s seconds.

(increment-timer! t s) → void
t : timer?
s : number?

Changes t so that it will fire after s seconds from when it does now.

(cancel-timer! t) → void
t : timer?

Cancels the firing of t ever and frees resources used by t.

contents index
← prev up next →