]> matita.cs.unibo.it Git - helm.git/commitdiff
* getparams returns annotated pairs key,values
authorLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 16:26:56 +0000 (16:26 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 16:26:56 +0000 (16:26 +0000)
helm/uwobo/uwobo.ml

index f5a778882123f901c886f0c2f8fc3a01133558e1..2e454651906de8b5fcc208d8fb2cf6ef506ed986 100644 (file)
@@ -416,7 +416,7 @@ let callback
        let res = Uwobo_profiles.get_params pid ?password () in
        respond_html
         ("<html><body><ul>" ^
-         String.concat "" (List.map (fun k,v -> "<li>" ^ k ^ " = " ^ v  ^ "</li>") res) ^
+         String.concat "" (List.map (fun k,v -> "<li><key>" ^ k ^ "</key> = <value>" ^ v  ^ "</value></li>") res) ^
          "</ul></body></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 ("<html><body>" ^ (if value then "true" else "false") ^ "</body></html>") outchan
+             respond_html ("<html><body>" ^ (if value then "public" else "private") ^ "</body></html>") 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