From 660d891b92074fd7fdc11cd6359a039cced4b059 Mon Sep 17 00:00:00 2001 From: Robert Vollmert Date: Fri, 26 Aug 2022 16:22:07 +0200 Subject: [PATCH] rm stale db_pool_timeout setting --- src/PostgREST/Config.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/PostgREST/Config.hs b/src/PostgREST/Config.hs index d181ade615..212e4b8ea2 100644 --- a/src/PostgREST/Config.hs +++ b/src/PostgREST/Config.hs @@ -352,7 +352,7 @@ parser optPath env dbSettings = let dbSettingName = T.pack $ dashToUnderscore <$> toS key in if dbSettingName `notElem` [ "server_host", "server_port", "server_unix_socket", "server_unix_socket_mode", "admin_server_port", "log_level", - "db_uri", "db_channel_enabled", "db_channel", "db_pool", "db_pool_timeout", "db_config"] + "db_uri", "db_channel_enabled", "db_channel", "db_pool", "db_config"] then lookup dbSettingName dbSettings else Nothing