From a1eaeffe5eb25e0cd188b530491f91b21a8512de Mon Sep 17 00:00:00 2001
From: joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>
Date: Sat, 28 Oct 2006 00:36:34 +0000
Subject: [PATCH 1/1] delete session

---
 IkiWiki/CGI.pm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/IkiWiki/CGI.pm b/IkiWiki/CGI.pm
index fcf5e0dd8..8b01ca3f8 100644
--- 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;
 	}
-- 
2.45.0