X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_profiles.ml;h=bd6e919f94ebcb40531c8551fb8e89f0ddcf07de;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c34ba3ed91ff434c435a28f029c9d3df6a492bbe;hpb=c6cb1f5a0ab5559e41eba001928e4a5ea595c051;p=helm.git

diff --git a/helm/uwobo/uwobo_profiles.ml b/helm/uwobo/uwobo_profiles.ml
index c34ba3ed9..bd6e919f9 100644
--- a/helm/uwobo/uwobo_profiles.ml
+++ b/helm/uwobo/uwobo_profiles.ml
@@ -93,8 +93,9 @@ let to_list_rel ~prefix () =
 
 let check_permission pid password for_what =
   match password, Helm_registry.get_bool (permission_key for_what pid) with
-      None, true -> ()
-    | Some pwd, false when Some pwd = Helm_registry.get_opt Helm_registry.get (password_key pid) -> ()
+      _, true -> ()
+    | Some pwd, false
+      when Some pwd = Helm_registry.get_opt Helm_registry.string (password_key pid) -> ()
     | _ -> raise (Access_denied (string_of_permission for_what, pid))
 
 let create ?id ?clone ?clone_password ?(read_perm=true) ?(write_perm=true) ?(admin_perm=true) ?password () =
@@ -115,7 +116,7 @@ let create ?id ?clone ?clone_password ?(read_perm=true) ?(write_perm=true) ?(adm
     Helm_registry.set_bool (read_permission_key pid) read_perm ;
     Helm_registry.set_bool (write_permission_key pid) write_perm ;
     Helm_registry.set_bool (admin_permission_key pid) admin_perm ;
-    Helm_registry.set_opt Helm_registry.set_string (password_key pid) password ;
+    Helm_registry.set_opt Helm_registry.of_string (password_key pid) password ;
     pid
 
 let remove pid ?password () =
@@ -138,7 +139,7 @@ let get_param pid ?password ~key () =
 
 let set_password pid ?old_password new_password =
   check_permission pid old_password `Admin ;
-  Helm_registry.set_opt Helm_registry.set (password_key pid) new_password
+  Helm_registry.set_opt Helm_registry.of_string (password_key pid) new_password
 
 let set_permission pid ?password for_what value =
   check_permission pid password `Admin ;