From: Karl O. Pinc <kop@meme.com>
Date: Sat, 17 Nov 2018 09:42:32 +0000 (-0600)
Subject: Better ini file heading
X-Git-Url: https://papio.biology.duke.edu/gitweb/?a=commitdiff_plain;h=8862b4e041eeb04677694ef5218b7c4a0f090fff;p=pgwui_server

Better ini file heading
---

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]