Skip to content
Snippets Groups Projects
Commit 5e24f138 authored by Michele Alberti's avatar Michele Alberti
Browse files

[db] Rename auxiliary function trigger into do_yield.

So to restrain trigger for the daemon function.
parent b221752b
No related branches found
No related tags found
No related merge requests found
...@@ -1139,7 +1139,7 @@ let raise_if_canceled () = ...@@ -1139,7 +1139,7 @@ let raise_if_canceled () =
(* ---- Yielding ---- *) (* ---- Yielding ---- *)
let trigger ~delayed ~forced () = let do_yield ~delayed ~forced () =
match !daemons with match !daemons with
| [] -> () | [] -> ()
| ds -> | ds ->
...@@ -1149,8 +1149,8 @@ let trigger ~delayed ~forced () = ...@@ -1149,8 +1149,8 @@ let trigger ~delayed ~forced () =
raise_if_canceled () ; raise_if_canceled () ;
end end
let yield = trigger ~delayed:true ~forced:false let yield = do_yield ~delayed:true ~forced:false
let flush = trigger ~delayed:false ~forced:true let flush = do_yield ~delayed:false ~forced:true
(* ---- Sleeping ---- *) (* ---- Sleeping ---- *)
...@@ -1167,7 +1167,7 @@ let sleep ms = ...@@ -1167,7 +1167,7 @@ let sleep ms =
if period = 0 then if period = 0 then
begin begin
Unix.sleepf delta ; Unix.sleepf delta ;
trigger ~delayed:false ~forced:false () do_yield ~delayed:false ~forced:false ()
end end
else else
let delay = float period *. 0.001 in let delay = float period *. 0.001 in
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment