diff options
author | stuebinm | 2022-02-17 00:06:22 +0100 |
---|---|---|
committer | stuebinm | 2022-03-19 19:26:32 +0100 |
commit | 252a4a3e1553295ffafbfa5150306f0f31dda8cd (patch) | |
tree | 4a19c8c9d73d070a38d6badf12accdddda062336 /config.toml | |
parent | 07483578e4034838ac7978b8d94d2358e33d6f37 (diff) |
server: remove a thunk leak
(really a lot of these data structures should be eagerly evaluated into
normal form, i suspect there's still a lot to be gained)
Diffstat (limited to 'config.toml')
-rw-r--r-- | config.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config.toml b/config.toml index 0518962..a259c20 100644 --- a/config.toml +++ b/config.toml @@ -6,7 +6,7 @@ verbose = true tmpdir = "/tmp" # linting interval in seconds -interval = 30 +interval = 10000 exneuland = "http://localhost:4000" token = "hello, world!" |