diff options
| author | Jon Ludlam <jonathan.ludlam@eu.citrix.com> | 2011-10-10 16:41:16 +0100 |
|---|---|---|
| committer | Jon Ludlam <jonathan.ludlam@eu.citrix.com> | 2011-10-10 16:41:16 +0100 |
| commit | c69fddbd5dfa3004aaf2d0f2dde00c9ec3dd6d5d (patch) | |
| tree | 026fb9ddfbfe1cfdf8273b1a26b0806387a2d826 /tools/ocaml/xenstored/perms.ml | |
| parent | cc3739d41c4b4536e88c07256df3e89d41f5816f (diff) | |
| download | xen-c69fddbd5dfa3004aaf2d0f2dde00c9ec3dd6d5d.tar.gz xen-c69fddbd5dfa3004aaf2d0f2dde00c9ec3dd6d5d.tar.bz2 xen-c69fddbd5dfa3004aaf2d0f2dde00c9ec3dd6d5d.zip | |
tools/ocaml: Remove log library from tools/ocaml/libs
The only user was oxenstored, which has had the relevant bits
merged in.
Signed-off-by: Zheng Li <zheng.li@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell.com>
Committed-by: Ian Jackson <ian.jackson.citrix.com>
Acked-by: Jon Ludlam <jonathan.ludlam@eu.citrix.com>
Diffstat (limited to 'tools/ocaml/xenstored/perms.ml')
| -rw-r--r-- | tools/ocaml/xenstored/perms.ml | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/tools/ocaml/xenstored/perms.ml b/tools/ocaml/xenstored/perms.ml index 70282c3862..19bf44c36c 100644 --- a/tools/ocaml/xenstored/perms.ml +++ b/tools/ocaml/xenstored/perms.ml @@ -15,6 +15,8 @@ * GNU Lesser General Public License for more details. *) +let info fmt = Logging.info "perms" fmt + open Stdext let activate = ref true @@ -145,16 +147,16 @@ let check (connection:Connection.t) request (node:Node.t) = in match perm, request with | NONE, _ -> - Logs.info "io" "Permission denied: Domain %d has no permission" domainid; + info "Permission denied: Domain %d has no permission" domainid; false | RDWR, _ -> true | READ, READ -> true | WRITE, WRITE -> true | READ, _ -> - Logs.info "io" "Permission denied: Domain %d has read only access" domainid; + info "Permission denied: Domain %d has read only access" domainid; false | WRITE, _ -> - Logs.info "io" "Permission denied: Domain %d has write only access" domainid; + info "Permission denied: Domain %d has write only access" domainid; false in if !activate |