diff options
author | stuebinm | 2022-02-17 00:06:22 +0100 |
---|---|---|
committer | stuebinm | 2022-02-17 00:06:22 +0100 |
commit | 487e06bf875ba8a835399b26095c756899b1209f (patch) | |
tree | fe396f0b3f22d9b0f7911beaac8c0d8e035d9be6 /config.toml | |
parent | 3aaa5af92ec0ec4134ddc6e8ee0417c263161f66 (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!" |