From 66aa708427374738d43c38ac7dbf9536746006d2 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Dec 2009 11:01:36 +0000 Subject: [PATCH] use log-line for connection errors, announce shutting down and kill web-server when it happens svn: r17433 --- collects/handin-server/main.ss | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss index 9f83c38c1c..d3cbbbca97 100644 --- a/collects/handin-server/main.ss +++ b/collects/handin-server/main.ss @@ -693,11 +693,15 @@ (close-output-port w))))))) #f ; `with-watcher' handles our timeouts (lambda (exn) - (printf "~a\n" (if (exn? exn) (exn-message exn) exn))) + (log-line "ERROR: ~a" (if (exn? exn) (exn-message exn) exn))) (lambda (port-k cnt reuse?) (let ([l (ssl-listen port-k cnt #t)]) (ssl-load-certificate-chain! l "server-cert.pem") (ssl-load-private-key! l "private-key.pem") (start-notify) l)) - ssl-close ssl-accept ssl-accept/enable-break)) + (lambda (l) + (log-line "shutting down") + (stop-status) + (ssl-close l)) + ssl-accept ssl-accept/enable-break))