remove SURFLET-PREFIX; it's not used anyway

This commit is contained in:
interp 2003-01-25 16:10:19 +00:00
parent 3d3655960b
commit 100ffcc010
1 changed files with 3 additions and 5 deletions

View File

@ -626,17 +626,16 @@
;;; OPTIONS: options for the surflet-handler
(define-record-type options :options
(make-options surflet-path surflet-prefix cache-surflets? session-lifetime)
(make-options surflet-path cache-surflets? session-lifetime)
options?
(surflet-path options:surflet-path set-options:surflet-path)
(surflet-prefix options:surflet-prefix set-options:surflet-prefix)
(cache-surflets? options:cache-surflets? set-options:cache-surflets?)
;; session lifetime is in seconds
(session-lifetime options:session-lifetime set-options:session-lifetime))
;; Constructor with defaults.
(define (make-default-options surflet-path surflet-prefix)
(make-options surflet-path surflet-prefix #t 600))
(define (make-default-options surflet-path)
(make-options surflet-path #t 600))
;; Selectors for *options* (preserved-thread-fluid)
(define (make-fluid-selector selector)
@ -645,7 +644,6 @@
(lambda (value)
(setter (thread-fluid *options*) value)))
(define options-surflet-path (make-fluid-selector options:surflet-path))
(define options-surflet-prefix (make-fluid-selector options:surflet-prefix))
(define options-cache-surflets? (make-fluid-selector options:cache-surflets?))
(define options-session-lifetime (make-fluid-selector options:session-lifetime))
(define set-options-cache-surflets? (make-fluid-setter set-options:cache-surflets?))