X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=scripts%2Flogout.ml;h=eb1028e578c4dfeb9c754dbfae87f808279d12f5;hb=5292c2362fb54524b8ec7877ee15c79596429491;hp=11b9210be331aee775f9252cbec7a05c800c8516;hpb=1f125fd7a6794f352f30de71a3905d5356a07008;p=cocanwiki.git diff --git a/scripts/logout.ml b/scripts/logout.ml index 11b9210..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.2 2004/09/09 09:35:33 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 @@ -21,7 +36,7 @@ let run r (q : cgi) (dbh : Dbi.connection) _ _ user = *) (match user with Anonymous -> () - | User (userid, _, _) -> + | User (userid, _, _, _) -> let sth = dbh#prepare_cached "delete from usercookies where userid = ?" in sth#execute [`Int userid];