* added external documentation in tex format

[helm.git] / helm / uwobo / uwobo.ml

diff --git a/helm/uwobo/uwobo.ml b/helm/uwobo/uwobo.ml
index 73cc23b6547471511eb4a3a90e8067f93d0f2a26..f5a778882123f901c886f0c2f8fc3a01133558e1 100644 (file)
--- a/helm/uwobo/uwobo.ml
+++ b/helm/uwobo/uwobo.ml
@@ -704,7 +704,7 @@ let main () =
                  | "write" -> `Write
                  | "admin" -> `Admin
                  | _ -> assert false
-             and bool_of_string s = "true" = s
+             and bool_of_string s = ("public" = s) || ("true" = s)
              in
              let pid, password, forwhat, value =
                match Pcre.split ~pat:"," (Pcre.replace ~rex:setpermission_cmd_RE line) with