diff options
author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-10-28 00:36:34 +0000 |
---|---|---|
committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-10-28 00:36:34 +0000 |
commit | a1eaeffe5eb25e0cd188b530491f91b21a8512de (patch) | |
tree | 16da7eec825a5f9964b7c5906520ca509e120c59 | |
parent | b6509c74a96ee5b16c774c5365f5ab6e542d180b (diff) |
delete session
-rw-r--r-- | IkiWiki/CGI.pm | 1 |
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; } |