X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=scripts%2Flogout.ml;h=eb1028e578c4dfeb9c754dbfae87f808279d12f5;hb=5292c2362fb54524b8ec7877ee15c79596429491;hp=2386493472ab494b32fa2ec67158f00acac08064;hpb=a9168cad656af034b671c9dea53057845e2196c9;p=cocanwiki.git diff --git a/scripts/logout.ml b/scripts/logout.ml index 2386493..eb1028e 100644 --- a/scripts/logout.ml +++ b/scripts/logout.ml @@ -1,7 +1,22 @@ -(* Easy Web Pages (EWP) scripts. +(* COCANWIKI - a wiki written in Objective CAML. * Written by Richard W.M. Jones . * Copyright (C) 2004 Merjis Ltd. - * $Id: logout.ml,v 1.1 2004/09/07 16:19:43 rich Exp $ + * $Id: logout.ml,v 1.4 2004/10/30 10:16:10 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 @@ -14,14 +29,14 @@ open Cocanwiki_ok let expires = "Sun, 09-Sep-2001 02:46:40 GMT" -let run r (q : cgi) (dbh : Dbi.connection) _ user = +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, _, _) -> + | User (userid, _, _, _) -> let sth = dbh#prepare_cached "delete from usercookies where userid = ?" in sth#execute [`Int userid];