From ea9500c9fbe3422847fd6f46b0f30a5bdc440111 Mon Sep 17 00:00:00 2001 From: Hans Dijkema Date: Tue, 30 Jun 2026 08:22:42 +0200 Subject: [PATCH] logger gets own pool. --- main.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/main.rkt b/main.rkt index d81e603..3e4bccf 100644 --- a/main.rkt +++ b/main.rkt @@ -138,6 +138,7 @@ ) (loop)))) + #:pool 'own ) ) )