chore: add missing --example for server-timing-enabled

PostgREST · Nov 24, 2023 · 8483459 · 8483459
1 parent b538ab9
commit 8483459
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/PostgREST/CLI.hs b/src/PostgREST/CLI.hs
@@ -220,6 +220,9 @@ exampleConfigFile =
       |server-host = "!4"
       |server-port = 3000
       |
+      |## Allow getting the request-response timing information through the `Server-Timing` header
+      |server-timing-enabled = false
+      |
       |## Unix socket location
       |## if specified it takes precedence over server-port
       |# server-unix-socket = "/tmp/pgrst.sock"