# HG changeset patch
# User Tom Gottfried <tom@intevation.de>
# Date 1539438734 -7200
# Node ID d11f1211b4e6c526332ea3b814a3707df3b4fb28
# Parent  5f89868bd75e411799b716264b8bd279204c204a
Update example configuration

geoserver-clean = true should be a sensible default for development.

diff -r 5f89868bd75e -r d11f1211b4e6 example_conf.toml
--- a/example_conf.toml	Sat Oct 13 14:26:40 2018 +0200
+++ b/example_conf.toml	Sat Oct 13 15:52:14 2018 +0200
@@ -47,6 +47,9 @@
 #geoserver-user = "admin"
 #geoserver-password = "geoserver"
 
+# Clean GeoServer setup on startup
+geoserver-clean = true
+
 # Proxy settings for external OGC services
 #proxy-key = "SECRET"
 #proxy-prefix = "http://localhost:8000"