X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=scripts%2Fdelete_user.ml;h=ab2b8a41210a0adc07182eccf4b13889be23514e;hb=b9bed1282a309aaf3227ec93ccdeacce8cbb89b2;hp=782c6b0dc8f192a2fa7f8d3fb896f636d6cdeb45;hpb=867889b6d04b6381c74974e338672ee02d61920e;p=cocanwiki.git diff --git a/scripts/delete_user.ml b/scripts/delete_user.ml index 782c6b0..ab2b8a4 100644 --- a/scripts/delete_user.ml +++ b/scripts/delete_user.ml @@ -1,7 +1,7 @@ (* COCANWIKI - a wiki written in Objective CAML. * Written by Richard W.M. Jones . * Copyright (C) 2004 Merjis Ltd. - * $Id: delete_user.ml,v 1.1 2004/09/21 13:01:15 rich Exp $ + * $Id: delete_user.ml,v 1.2 2004/09/23 11:56:47 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 @@ -31,7 +31,7 @@ let run r (q : cgi) (dbh : Dbi.connection) hostid {hostname = hostname} self = if q#param_true "cancel" then ( (* Request cancelled. *) q#redirect ("http://" ^ hostname ^ "/_users"); - raise CgiExit + return () ); let userid = int_of_string (q#param "userid") in @@ -51,7 +51,7 @@ let run r (q : cgi) (dbh : Dbi.connection) hostid {hostname = hostname} self = | User (id, _, _) when id = userid -> error ~back_button:true ~title:"Delete own account" q "You cannot delete your own user account."; - raise CgiExit + return () | _ -> () in (* Delete the user. *)