From: Andrew Cooper Date: Mon, 26 Feb 2024 10:47:29 +0000 (+0000) Subject: tools/oxenstored: Re-format X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=8f85af65af76727692b9c2dea4f470f503432d2f;p=people%2Faperard%2Fxen-unstable.git tools/oxenstored: Re-format Rerun make format. Fixes: b6cf604207fd ("tools/oxenstored: Use Map instead of Hashtbl for quotas") Signed-off-by: Andrew Cooper Reviewed-by: Edwin Török --- diff --git a/tools/ocaml/xenstored/quota.ml b/tools/ocaml/xenstored/quota.ml index 1f652040d8..082cd25f26 100644 --- a/tools/ocaml/xenstored/quota.ml +++ b/tools/ocaml/xenstored/quota.ml @@ -55,13 +55,13 @@ let _check quota id size = raise Data_too_big ); if id > 0 then - try - let entry = DomidMap.find id quota.cur in - if entry >= quota.maxent then ( - warn "domain %u cannot create entry: quota reached" id; - raise Limit_reached - ) - with Not_found -> () + try + let entry = DomidMap.find id quota.cur in + if entry >= quota.maxent then ( + warn "domain %u cannot create entry: quota reached" id; + raise Limit_reached + ) + with Not_found -> () let check quota id size = if !activate then @@ -88,4 +88,4 @@ let merge orig_quota mod_quota dest_quota = | diff -> update_entry dest id diff (* update with [x=x+diff] *) in {dest_quota with cur = DomidMap.fold fold_merge mod_quota.cur dest_quota.cur} - (* dest_quota = dest_quota + (mod_quota - orig_quota) *) +(* dest_quota = dest_quota + (mod_quota - orig_quota) *)