server: write out adjusted maps

1 files changed, 16 insertions, 3 deletions

diff --git a/config.toml b/config.toml
index a259c20..2e60b4b 100644
--- a/config.toml
+++ b/config.toml
@@ -6,15 +6,28 @@ verbose = true
 tmpdir = "/tmp"
 
 # linting interval in seconds
-interval = 10000
-exneuland = "http://localhost:4000"
+interval = 10
+
+# where to post map updates to
+# exneuland = "http://localhost:4000"
+# auth token for map updates
 token = "hello, world!"
 
 [[org]]
 slug = "divoc"
+
+# baseurl of maps as seen by the frontend
 url = "https://world.di.c3voc.de/maps/"
-webdir = "/var/www/divoc"
+# webdir into which maps should be written
+webdir = "/tmp/var/www/divoc"
+
+# increment this if you change the server / linter config
+# (part of urls for linted maps; allows indefinite browser caching)
+generation = 1
+
+# linter's config for this org
 lintconfig = "./config.json"
+# map's entrypoint (only maps reachable from here are included)
 entrypoint = "main.json"
 
 [[org.repo]] # I hate TOML