From 8862b4e041eeb04677694ef5218b7c4a0f090fff Mon Sep 17 00:00:00 2001 From: "Karl O. Pinc" Date: Sat, 17 Nov 2018 03:42:32 -0600 Subject: [PATCH] Better ini file heading --- examples/development.ini | 5 ++++- examples/pgwui.ini | 5 ++++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/examples/development.ini b/examples/development.ini index c7b14a1..ca63bc6 100644 --- a/examples/development.ini +++ b/examples/development.ini @@ -1,5 +1,8 @@ ### -# app configuration +# PGWUI_Server configuration +# +# Configuration changes require a server restart! +# (But see the pserve command's --reload option.) ### [app:main] diff --git a/examples/pgwui.ini b/examples/pgwui.ini index 8701067..b9cc82f 100644 --- a/examples/pgwui.ini +++ b/examples/pgwui.ini @@ -1,5 +1,8 @@ ### -# app configuration +# PGWUI_Server configuration +# +# Configuration changes require a server restart! +# (Unless you've done something not recommended to start the server.) ### [app:main] -- 2.34.1