# HG changeset patch # User Sascha L. Teichmann # Date 1539594381 -7200 # Node ID 7fc47ac98520d75be1a99b3ffa3f5aef80a9c062 # Parent d11f1211b4e6c526332ea3b814a3707df3b4fb28 Do not clean GeoServer by default! This is meant to be a development or system upgrade flage triggred explictily with --geoserver-clean on the command line. diff -r d11f1211b4e6 -r 7fc47ac98520 example_conf.toml --- a/example_conf.toml Sat Oct 13 15:52:14 2018 +0200 +++ b/example_conf.toml Mon Oct 15 11:06:21 2018 +0200 @@ -48,7 +48,10 @@ #geoserver-password = "geoserver" # Clean GeoServer setup on startup -geoserver-clean = true +# Persisting this is mainly useful in some dev setups. +# Cleaning up the GeoServer should be done with +# an explicit --geoserver-clean on the command line. +#geoserver-clean = true # Proxy settings for external OGC services #proxy-key = "SECRET"