From c7f266fc4e9dbc98586a7a4aac462ca17017ef1f Mon Sep 17 00:00:00 2001 From: LLLL Colonq Date: Fri, 3 Jul 2026 20:15:07 -0400 Subject: web: Increase Maude Code timeout --- fig-web/src/Fig/Web/MaudeCode.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'fig-web/src/Fig') diff --git a/fig-web/src/Fig/Web/MaudeCode.hs b/fig-web/src/Fig/Web/MaudeCode.hs index ea13ccd..e5ca9e3 100644 --- a/fig-web/src/Fig/Web/MaudeCode.hs +++ b/fig-web/src/Fig/Web/MaudeCode.hs @@ -124,7 +124,7 @@ app g cmds = do let tokens :: Int = 1000 responder <- liftIO MVar.newEmptyMVar liftIO $ MVar.modifyMVar_ g.responses $ pure . Map.insert index responder - response <- liftIO $ timeout 20_000_000 $ MVar.takeMVar responder + response <- liftIO $ timeout 60_000_000 $ MVar.takeMVar responder liftIO $ MVar.modifyMVar_ g.responses $ pure . Map.delete index uuid <- liftIO UUID.nextRandom timestamp :: Integer <- round <$> liftIO Time.getPOSIXTime -- cgit v1.2.3