(* COCANWIKI - a wiki written in Objective CAML. * Written by Richard W.M. Jones . * Copyright (C) 2004 Merjis Ltd. * $Id: logout.ml,v 1.5 2005/03/31 14:24:04 rich Exp $ * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2 of the License, or * (at your option) any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; see the file COPYING. If not, write to * the Free Software Foundation, Inc., 59 Temple Place - Suite 330, * Boston, MA 02111-1307, USA. *) open Apache open Registry open Cgi open Printf open Cocanwiki open Cocanwiki_ok let expires = "Sun, 09-Sep-2001 02:46:40 GMT" let run r (q : cgi) (dbh : Dbi.connection) _ _ user = (* The logout function removes all of the associated cookies from the * database. This isn't required, but is nice semantics, and also helps * to reduce the size of the usercookies table in the database. *) (match user with Anonymous -> () | User (userid, _, _, _) -> let sth = dbh#prepare_cached "delete from usercookies where userid = ?" in sth#execute [`Int userid]; dbh#commit () ); let cookie = Cookie.cookie "auth" "none" ~path:"/" ~expires in ok ~title:"Logged out" ~buttons:[ok_button "/"] ~cookie q "You have been logged out." let () = register_script run