Better ini file heading

diff --git a/examples/development.ini b/examples/development.ini
index c7b14a18129a7d17b48f43fb9c4b3d4cba156e75..ca63bc61d5aa1505d2fd25f3fd6660e2673e78d6 100644 (file)
--- 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 87010671c38e4e36223ed20fe6a6119e8c0237bf..b9cc82ffbdb0cd352b4178c7b0094474e9587b8b 100644 (file)
--- 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]