scripts/logout.ml

   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.5 2005/03/31 14:24:04 rich Exp $
   5  *
   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.
  10  *
  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.
  15  *
  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.
  20  *)
  21
  22 open Apache
  23 open Registry
  24 open Cgi
  25 open Printf
  26
  27 open Cocanwiki
  28 open Cocanwiki_ok
  29
  30 let expires = "Sun, 09-Sep-2001 02:46:40 GMT"
  31
  32 let run r (q : cgi) (dbh : Dbi.connection) _ _ 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.
  36    *)
  37   (match user with
  38        Anonymous -> ()
  39      | User (userid, _, _, _) ->
  40          let sth = dbh#prepare_cached "delete from usercookies
  41                                         where userid = ?" in
  42          sth#execute [`Int userid];
  43
  44          dbh#commit ()
  45   );
  46
  47   let cookie = Cookie.cookie "auth" "none" ~path:"/" ~expires in
  48
  49   ok ~title:"Logged out" ~buttons:[ok_button "/"] ~cookie
  50     q "You have been logged out."
  51
  52 let () =
  53   register_script run