From e164607633d85b339f7708377c0f3ec51ff1f32e Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 7 Oct 2009 05:30:05 +0000 Subject: [PATCH] finally got rid of those annoying context printouts, which actually came from the web server svn: r16263 --- collects/handin-server/web-status-server.ss | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index f72ba7c6fb..b367a298ed 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -251,9 +251,11 @@ (title ,msg)) (body ,msg "; " (a ([href "/"]) "restarting") " in 3 seconds."))) +(define default-context-length (error-print-context-length)) (define ((run-servlet port)) (serve/servlet (lambda (request) + (error-print-context-length default-context-length) (parameterize ([current-session (web-counter)]) (login-page (aget (request-bindings request) 'handin) #f))) #:port port #:listen-ip #f #:ssl? #t #:command-line? #t @@ -274,10 +276,12 @@ (cond [(get-conf 'https-port-number) => (lambda (p) (define t - (thread (lambda () - (dynamic-wind - (lambda () (log-line "*** starting web server")) - (run-servlet p) - (lambda () (log-line "*** web server died!")))))) + (parameterize ([error-print-context-length 0]) + (thread + (lambda () + (dynamic-wind + (lambda () (log-line "*** starting web server")) + (run-servlet p) + (lambda () (log-line "*** web server died!"))))))) (lambda () (break-thread t)))] [else void]))