diff options
| author | stuebinm | 2022-03-06 15:05:45 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-06 15:05:45 +0100 |
| commit | 36b2a9aed1d0961dd176a8ef4497824a06012239 (patch) | |
| tree | 1e0e85fc8ca068423ddf47fedd88cf749c954263 | |
| parent | 80d6cadca15fdebb830e8b6006e38890ad0acbd9 (diff) | |
server: decrease default lint interval
| -rw-r--r-- | config.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.toml b/config.toml index 2e60b4b..b0b99b9 100644 --- a/config.toml +++ b/config.toml @@ -6,7 +6,7 @@ verbose = true tmpdir = "/tmp" # linting interval in seconds -interval = 10 +interval = 36000 # where to post map updates to # exneuland = "http://localhost:4000" |