From a6214163b4e65ea27c9adf7b560bfec4e5e5ea6d Mon Sep 17 00:00:00 2001 From: shum Date: Wed, 30 Sep 2026 12:00:25 +0000 Subject: [PATCH] bench: fix msgqfill after msgQ became optional --- bench/MemBench.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bench/MemBench.hs b/bench/MemBench.hs index 626a0017e..8092a6331 100644 --- a/bench/MemBench.hs +++ b/bench/MemBench.hs @@ -992,7 +992,7 @@ main = do ( case phase of "conclimit" -> withProxyTopologyCfg (updateCfg (proxySrvCfg storeEnv) $ \c -> c {serverClientConcurrency = 1}) storeEnv -- shrink the proxy agent's msgQ so its bound is reachable in one run - "msgqfill" -> withProxyTopologyCfg (updateCfg (proxySrvCfg storeEnv) $ \c -> c {smpAgentCfg = (smpAgentCfg c) {msgQSize = msgQSz}}) storeEnv + "msgqfill" -> withProxyTopologyCfg (updateCfg (proxySrvCfg storeEnv) $ \c -> c {smpAgentCfg = (smpAgentCfg c) {msgQSize = Just msgQSz}}) storeEnv _ -> withProxyTopology storeEnv ) $ settle leakDiagSec