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))