From 56b2e0754fa2d8252b5b07551c0cffb39c4fb2fd Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Thu, 2 Aug 2012 07:03:11 -0600 Subject: [PATCH] servlet errors should be code 500 --- collects/web-server/configuration/responders.rkt | 1 + collects/web-server/servlet/web.rkt | 1 + 2 files changed, 2 insertions(+) diff --git a/collects/web-server/configuration/responders.rkt b/collects/web-server/configuration/responders.rkt index 40170664e5..3d76156942 100644 --- a/collects/web-server/configuration/responders.rkt +++ b/collects/web-server/configuration/responders.rkt @@ -28,6 +28,7 @@ (define (pretty-exception-response url exn) (response/xexpr + #:code 500 `(html (head (title "Servlet Error") diff --git a/collects/web-server/servlet/web.rkt b/collects/web-server/servlet/web.rkt index 8efa13f2d2..2a2c7f5a25 100644 --- a/collects/web-server/servlet/web.rkt +++ b/collects/web-server/servlet/web.rkt @@ -158,6 +158,7 @@ (lambda (exn) (send/finish-or-back (response/xexpr + #:code 500 `(html (head (title "Servlet Error")) (body ([bgcolor "white"]) (p "The following error occured: "