From 4e1ecc73032cfda6e4d31be52b7b4daf1a5ef172 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 28 Jan 2020 12:13:59 +0100
Subject: [PATCH] [server] use Db.yield API
---
src/plugins/server/main.ml | 2 +-
src/plugins/server/server_parameters.ml | 8 --------
2 files changed, 1 insertion(+), 9 deletions(-)
diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml
index 7528d3552ae..23f4a1c6e3b 100644
--- a/src/plugins/server/main.ml
+++ b/src/plugins/server/main.ml
@@ -333,7 +333,7 @@ let run server =
if not activity then
begin
Unix.sleepf idle_s ;
- !Db.progress () ;
+ Db.yield () ;
end
done ;
with Sys.Break -> () (* Ctr+C, just leave the loop normally *)
diff --git a/src/plugins/server/server_parameters.ml b/src/plugins/server/server_parameters.ml
index 8ca2d009ce3..52fef732271 100644
--- a/src/plugins/server/server_parameters.ml
+++ b/src/plugins/server/server_parameters.ml
@@ -45,14 +45,6 @@ module Idle = P.Int
let help = "Server polling (in milliseconds, default 50ms)"
end)
-module Yield = P.Int
- (struct
- let option_name = "-server-yield"
- let arg_name = "ms"
- let default = 50
- let help = EXEC yield period (in milliseconds, default 50ms)"
- end)
-
module AutoLog = P.False
(struct
let option_name = "-server-auto-log"
--
GitLab