`cat ~/diff-sunet/$num/log`

This commit is contained in:
interp 2003-08-01 17:40:44 +00:00
parent 6f27658c68
commit 4673e0012f
1 changed files with 14 additions and 15 deletions

View File

@ -181,6 +181,7 @@
(with-cwd surflet-path (with-cwd surflet-path
(begin (begin
(register-instance! session-id) (register-instance! session-id)
(session-adjust-timeout! session-id)
(resume s-req))) (resume s-req)))
(bad-request path-string s-req))) (bad-request path-string s-req)))
(bad-request path-string s-req))) (bad-request path-string s-req)))
@ -201,21 +202,19 @@
(session (session-lookup session-id))) (session (session-lookup session-id)))
;; the instance might be deleted in the meanwhile ;; the instance might be deleted in the meanwhile
(if session (if session
(begin (let ((continuations-table (session-continuation-table session))
(session-adjust-timeout! session-id) (continuation-table-lock (session-continuation-table-lock session))
(let ((continuations-table (session-continuation-table session)) (continuation-counter (session-next-continuation-counter session)))
(continuation-table-lock (session-continuation-table-lock session)) (let ((continuation-id
(continuation-counter (session-next-continuation-counter session))) (with-lock continuation-table-lock
(let ((continuation-id (let ((c-id (generate-new-table-id continuations-table)))
(with-lock continuation-table-lock (table-set! continuations-table c-id return)
(let ((c-id (generate-new-table-id continuations-table))) c-id))))
(table-set! continuations-table c-id return) (let ((new-url (make-resume-url (session-surflet-name session)
c-id)))) session-id
(let ((new-url (make-resume-url (session-surflet-name session) continuation-counter
session-id continuation-id)))
continuation-counter (make-http-response (response-maker new-url)))))
continuation-id)))
(make-http-response (response-maker new-url))))))
(make-error-response (status-code not-found) #f (make-error-response (status-code not-found) #f
"The URL refers to a SUrflet, whose session is no longer alive."))))) "The URL refers to a SUrflet, whose session is no longer alive.")))))