From e9c0ba7398f2f00c1d737b65b4ed6e6caa1f72f1 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Wed, 24 Feb 2010 11:15:37 +0000
Subject: [PATCH] do a post-redirect-get to avoid the usual problems

svn: r18317
---
 collects/handin-server/web-status-server.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss
index 4abc65ddb2..f34fab03b1 100644
--- a/collects/handin-server/web-status-server.ss
+++ b/collects/handin-server/web-status-server.ss
@@ -233,6 +233,7 @@
          [user      (and user (if (get-conf 'username-case-sensitive)
                                 user (string-foldcase user)))]
          [user-data (get-user-data user)])
+    (redirect/get)
     (cond [(and user-data
                 (string? passwd)
                 (let ([pw (md5 passwd)])