Mailing List Archive

commit 8f85af65af76727692b9c2dea4f470f503432d2f
Author: Andrew Cooper <andrew.cooper3@citrix.com>
AuthorDate: Mon Feb 26 10:47:29 2024 +0000
Commit: Andrew Cooper <andrew.cooper3@citrix.com>
CommitDate: Wed Mar 27 16:00:47 2024 +0000

tools/oxenstored: Re-format

Rerun make format.

Fixes: b6cf604207fd ("tools/oxenstored: Use Map instead of Hashtbl for quotas")
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Edwin Török <edwin.torok@cloud.com>
---
tools/ocaml/xenstored/quota.ml | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)

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) *)
--
generated by git-patchbot for /home/xen/git/xen.git#staging