From a2e17142e3a8ca5cbf722af26b2eea2db02a97e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 20 May 2020 23:44:13 +0200
Subject: [PATCH] [server] Fixes the emission of signals.
When fetching messages, resets the emitted signals since last synchronization,
and not the set of active signals.
Because of this bug, signals could only be emitted once.
---
src/plugins/server/main.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/server/main.ml b/src/plugins/server/main.ml
index 7a82d0176ee..3ee3067e99a 100644
--- a/src/plugins/server/main.ml
+++ b/src/plugins/server/main.ml
@@ -269,7 +269,7 @@ let communicate server =
let pool = ref [] in
Queue.iter (fun r -> pool := r :: !pool) server.q_out ;
Queue.clear server.q_out ;
- server.s_active <- Sigs.empty ;
+ server.s_signal <- Sigs.empty ;
message.callback !pool ;
Extlib.may raise error ; true
--
GitLab