1 (* COCANWIKI - a wiki written in Objective CAML.
2 * Written by Richard W.M. Jones <rich@merjis.com>.
3 * Copyright (C) 2004 Merjis Ltd.
4 * $Id: logout.ml,v 1.10 2006/12/06 09:46:57 rich Exp $
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program; see the file COPYING. If not, write to
18 * the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
19 * Boston, MA 02111-1307, USA.
30 let expires = "Sun, 09-Sep-2001 02:46:40 GMT"
32 let run r (q : cgi) dbh hostid _ user =
33 (* The logout function removes all of the associated cookies from the
34 * database. This isn't required, but is nice semantics, and also helps
35 * to reduce the size of the usercookies table in the database.
39 | User (userid, _, _, _) ->
40 PGSQL(dbh) "delete from usercookies where userid = $userid";
44 let cookie = Cookie.cookie "auth" "none" ~path:"/" ~expires in
46 ok ~title:"Logged out" ~buttons:[ok_button "/"] ~cookie
47 r dbh hostid q "You have been logged out."