From 8483459d595173b44e3a77c9a691bb553c43328d Mon Sep 17 00:00:00 2001
From: Laurence Isla <lau.isla.c@gmail.com>
Date: Fri, 24 Nov 2023 16:13:58 -0500
Subject: [PATCH] chore: add missing --example for server-timing-enabled

---
 src/PostgREST/CLI.hs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/PostgREST/CLI.hs b/src/PostgREST/CLI.hs
index 39d4f49df..bd00006cb 100644
--- 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"