From 2a3bcaa1a38372631758ed41b055a88fdeb00b49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 31 May 2022 17:38:05 +0200
Subject: [PATCH] [server] configure task idle to yield
---
src/plugins/server/main.ml | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml
index 006d4b9d152..9195d9a2f67 100644
--- a/src/plugins/server/main.ml
+++ b/src/plugins/server/main.ml
@@ -433,6 +433,7 @@ let foreground server =
server.running <- Idle ;
server.cmdline <- Some false ;
emitter := do_signal server ;
+ Task.on_idle := Db.while_progress ~debounced:50 ;
match server.daemon with
| None -> ()
| Some daemon ->
--
GitLab