jimmy/postgrest
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore: remove duplicated words in Listener and Plan comments

Browse Source 
Signed-off-by: Aiden Park <275402320+vip892766gma@users.noreply.github.com>
This commit is contained in:
Aiden Park
2026-05-14 14:23:09 +00:00
committed by Wolfgang Walther
parent 187ea6d546
commit 703a5535cf
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/PostgREST/Listener.hs
+1 -1
View File
@@ -56,7 +56,7 @@ retryingListen appState hasDbListenerBug = do
-- loop running the listener -- loop running the listener
retryingListen appState (isDbListenerBug err) retryingListen appState (isDbListenerBug err)
-- Execute the listener with with error handling -- Execute the listener with error handling
handle onError $ do handle onError $ do
-- Make sure we don't leak connections on errors -- Make sure we don't leak connections on errors
bracket bracket
src/PostgREST/Plan.hs
+1 -1
View File
@@ -126,7 +126,7 @@ data InspectPlan = InspectPlan {
, ipSchema :: Schema , ipSchema :: Schema
} }
-- A Plan may use the the database or not -- A Plan may use the database or not
data ActionPlan data ActionPlan
= Db DbActionPlan = Db DbActionPlan
| NoDb InfoPlan | NoDb InfoPlan