]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_profiles.ml
* setprofileparam ==> setparam
[helm.git] / helm / uwobo / uwobo_profiles.ml
index 715c247716291d47849404873081fd0de05aad4f..c34ba3ed91ff434c435a28f029c9d3df6a492bbe 100644 (file)
@@ -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 ;