From c7653ad43bc93d3253b9923ef896b819033ded0f Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Dec 2009 11:24:09 +0000 Subject: [PATCH] still, should return the web server controller function svn: r17435 --- collects/handin-server/web-status-server.ss | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index 8d825992a4..52d9315997 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -256,13 +256,14 @@ (define (run) (cond [(get-conf 'https-port-number) => (lambda (p) - (parameterize ([error-print-context-length 0]) - (run-servlet dispatcher p server-dir - #:namespace '(handin-server/private/md5 - handin-server/private/logger - handin-server/private/config - handin-server/private/hooker - handin-server/private/reloadable) - #:log-file (get-conf 'web-log-file))) - (log-line "*** embedded web server started on port ~a" p))] + (begin0 (parameterize ([error-print-context-length 0]) + (run-servlet + dispatcher p server-dir + #:namespace '(handin-server/private/md5 + handin-server/private/logger + handin-server/private/config + handin-server/private/hooker + handin-server/private/reloadable) + #:log-file (get-conf 'web-log-file))) + (log-line "*** embedded web server started on port ~a" p)))] [else void]))