do a post-redirect-get to avoid the usual problems

svn: r18317
2010-02-24 11:15:37 +00:00 · 2010-02-24 11:15:37 +00:00 · e9c0ba7398
commit e9c0ba7398
parent 38d201cd38
1 changed files with 1 additions and 0 deletions
--- 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)])