From 1320bfc1668dae32a057fbeb7308394eff6a3f71 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 31 May 2012 10:17:28 +0100 Subject: [PATCH] Correct waiters count. --- server/queuenode.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/server/queuenode.ml b/server/queuenode.ml index 00b57dc..ad346fe 100644 --- a/server/queuenode.ml +++ b/server/queuenode.ml @@ -54,6 +54,7 @@ let shoveller info = info.waiters_out (Some sub); message_loop () | false -> + info.waiters <- info.waiters - 1; waiter_loop () in waiter_loop () in message_loop ()