Merge remote-tracking branch 'origin/master' into release

runtimeverification · Jul 12, 2024 · 01f9f2a · 01f9f2a
2 parents 3ecef6a + 561a538
commit 01f9f2a
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/booster/tools/booster/Server.hs b/booster/tools/booster/Server.hs
@@ -319,9 +319,8 @@ main = do
 
                 let koreRespond, boosterRespond :: JSONRPC.Id -> Respond (API 'Req) (Booster.Log.LoggerT IO) (API 'Res)
                     koreRespond reqId = Kore.respond (fromId reqId) kore.serverState (ModuleName kore.mainModule) runSMT
-                    boosterRespond reqId =
-                        Booster.Log.withContextFor reqId
-                            . Booster.Log.withContext CtxBooster
+                    boosterRespond _reqId =
+                        Booster.Log.withContext CtxBooster
                             . Booster.respond boosterState
 
                     proxyConfig =
@@ -339,9 +338,10 @@ main = do
                             srvSettings
                             ( \rawReq req ->
                                 let reqId = getReqId rawReq
-                                 in runBoosterLogger $
+                                 in runBoosterLogger $ do
                                         logRequestId reqId
-                                            >> Proxy.respondEither proxyConfig (boosterRespond reqId) (koreRespond reqId) req
+                                        Booster.Log.withContextFor reqId $
+                                            Proxy.respondEither proxyConfig (boosterRespond reqId) (koreRespond reqId) req
                             )
                             [ Kore.handleDecidePredicateUnknown
                             , Booster.handleSmtError