From 487e06bf875ba8a835399b26095c756899b1209f Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 17 Feb 2022 00:06:22 +0100
Subject: 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)
---
 config.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'config.toml')

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!"
 
-- 
cgit v1.2.3