X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fsrc%2Focaml%2Fuwobo.ml;h=bea96a2a09b1cf1d61af184e658b9ddea5825138;hb=5502691620f5ad7ac81940d61f7f27585778caf7;hp=a0e9078a83f42d7676a61ab6fa1b098462467f3b;hpb=ec5094737abf5898aae30b1b71b5910c039c94bc;p=helm.git diff --git a/helm/uwobo/src/ocaml/uwobo.ml b/helm/uwobo/src/ocaml/uwobo.ml index a0e9078a8..bea96a2a0 100644 --- a/helm/uwobo/src/ocaml/uwobo.ml +++ b/helm/uwobo/src/ocaml/uwobo.ml @@ -35,7 +35,7 @@ let debug_level = `Notice;; let debug_print s = if debug then prerr_endline s;; Http_common.debug := false;; let logfile = Some "uwobo.log";; (* relative to execution dir *) -let logfile_perm = 0o644;; +let logfile_perm = 0o640;; (* other settings *) let daemon_name = "UWOBO OCaml";;