diff options
| author | stuebinm | 2022-03-06 15:05:45 +0100 |
|---|---|---|
| committer | stuebinm | 2022-03-19 19:57:18 +0100 |
| commit | 52d0d9df734cd6eaace2c8d062ef8c5b67830356 (patch) | |
| tree | 4ee35d6f765a49ca24f4601ee5b4d10f2c5fcb46 | |
| parent | ab67f068967f7e460f4350384cbe8e47325c0598 (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" |