summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjoey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>2006-10-28 00:36:34 +0000
committerjoey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071>2006-10-28 00:36:34 +0000
commita1eaeffe5eb25e0cd188b530491f91b21a8512de (patch)
tree16da7eec825a5f9964b7c5906520ca509e120c59
parentb6509c74a96ee5b16c774c5365f5ab6e542d180b (diff)
delete session
-rw-r--r--IkiWiki/CGI.pm1
1 files changed, 1 insertions, 0 deletions
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;
}