From: Luca Padovani Date: Wed, 26 May 2004 16:26:56 +0000 (+0000) Subject: * getparams returns annotated pairs key,values X-Git-Tag: pre_subst_in_kernel~79 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2aea6f286c52d30eca4108ef357c97bbbcb3e3cf;p=helm.git * getparams returns annotated pairs key,values --- diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml index f5a778882..2e4546519 100644 --- a/helm/uwobo/uwobo.ml +++ b/helm/uwobo/uwobo.ml @@ -416,7 +416,7 @@ let callback let res = Uwobo_profiles.get_params pid ?password () in respond_html ("") outchan | "/getparam" -> let pid = req#param "id" in @@ -438,7 +438,7 @@ let callback match forwhat with Some forwhat -> let value = Uwobo_profiles.get_permission pid ?password forwhat in - respond_html ("" ^ (if value then "true" else "false") ^ "") outchan + respond_html ("" ^ (if value then "public" else "private") ^ "") outchan | None -> Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request)) outchan ; end | "/apply" -> @@ -704,7 +704,7 @@ let main () = | "write" -> `Write | "admin" -> `Admin | _ -> assert false - and bool_of_string s = ("public" = s) || ("true" = s) + and bool_of_string s = "public" = s in let pid, password, forwhat, value = match Pcre.split ~pat:"," (Pcre.replace ~rex:setpermission_cmd_RE line) with