feat: connection pool metrics in admin server

2024-04-23 19:08:37 -05:00
parent 29cd7d195c
commit 653c7955b2
10 changed files with 116 additions and 20 deletions
@@ -64,6 +64,7 @@ library
                      PostgREST.Error
                      PostgREST.Logger
                      PostgREST.MediaType
+                      PostgREST.Metrics
                      PostgREST.Observation
                      PostgREST.Query
                      PostgREST.Query.QueryBuilder
@@ -124,6 +125,7 @@ library
                    , optparse-applicative      >= 0.13 && < 0.19
                    , parsec                    >= 3.1.11 && < 3.2
                    , postgresql-libpq          >= 0.10
+                    , prometheus-client         >= 1.1.1 && < 1.2.0
                    , protolude                 >= 0.3.1 && < 0.4
                    , regex-tdfa                >= 1.2.2 && < 1.4
                    , retry                     >= 0.7.4 && < 0.10