X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_profiles.ml;h=67f19879d8ff13058a3a188ee94f59eaf3af144e;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=715c247716291d47849404873081fd0de05aad4f;hpb=15ef65f8ccfd539a6ee77d609325cf991bcce789;p=helm.git

diff --git a/helm/uwobo/uwobo_profiles.ml b/helm/uwobo/uwobo_profiles.ml
index 715c24771..67f19879d 100644
--- a/helm/uwobo/uwobo_profiles.ml
+++ b/helm/uwobo/uwobo_profiles.ml
@@ -93,7 +93,7 @@ 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 -> ()
+      _, true -> ()
     | Some pwd, false when Some pwd = Helm_registry.get_opt Helm_registry.get (password_key pid) -> ()
     | _ -> raise (Access_denied (string_of_permission for_what, pid))
 
@@ -111,7 +111,7 @@ let create ?id ?clone ?clone_password ?(read_perm=true) ?(write_perm=true) ?(adm
 	  check_permission pid clone_password `Read ;
 	  to_list_rel ~prefix:(params_key pid) ()
   in
-    List.iter (fun (key, value) -> Helm_registry.set_string key value) params ;
+    List.iter (fun (key, value) -> Helm_registry.set_string (params_key pid ^ "." ^ key) value) params ;
     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 ;