File: none.rkt

package info (click to toggle)
racket 6.7-3
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 97,344 kB
  • ctags: 39,484
  • sloc: ansic: 277,847; sh: 33,512; asm: 13,558; lisp: 7,113; cpp: 2,872; makefile: 2,421; pascal: 2,262; exp: 499; python: 274; xml: 11
file content (43 lines) | stat: -rw-r--r-- 1,348 bytes parent folder | download | duplicates (12)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
#lang racket/base
(require racket/contract)
(require "manager.rkt")
(require web-server/servlet/servlet-structs
         web-server/http)
(provide/contract
 [create-none-manager
  (-> 
   (or/c false/c
         (request? . -> . can-be-response?))
   manager?)])

(define-struct (none-manager manager) (instance-expiration-handler))
(define (create-none-manager
         instance-expiration-handler)
  
  (define (create-instance expire-fn)
    0)
  (define (adjust-timeout! instance-id secs)
    (void))
  
  (define (instance-lookup instance-id)
    (raise (make-exn:fail:servlet-manager:no-instance
            (format "No instance for id: ~a" instance-id)
            (current-continuation-marks)
            instance-expiration-handler)))
  
  (define (clear-continuations! instance-id)
    (instance-lookup instance-id))
  
  (define (continuation-store! instance-id k expiration-handler)
    (instance-lookup instance-id))
  (define (continuation-lookup instance-id a-k-id a-salt)
    (instance-lookup instance-id))
  
  (make-none-manager create-instance 
                     adjust-timeout!
                     clear-continuations!
                     continuation-store!
                     continuation-lookup
                     continuation-lookup
                     ; Specific
                     instance-expiration-handler))