delete session

diff --git a/IkiWiki/CGI.pm b/IkiWiki/CGI.pm
index fcf5e0dd8c42a5ba4c7297e1edf96807ba6a04d1..8b01ca3f89ab004a81d04d4066d081c3d3baea65 100644 (file)
--- a/IkiWiki/CGI.pm
+++ b/IkiWiki/CGI.pm
@@ -693,6 +693,7 @@ sub cgi () { #{{{
 
        if (userinfo_get($session->param("name"), "banned")) {
                print $q->header(-status => "403 Forbidden");
+               $session->delete();
                print "You are banned.";
                exit;
        }