From 6d8b9c3fb6338c3e5cfcbb8a0a6be27dddf64351 Mon Sep 17 00:00:00 2001
From: Stephan Dilly <dilly.stephan@gmail.com>
Date: Mon, 30 Mar 2020 18:20:51 +0200
Subject: [PATCH] fix threadpool size to be big enough

---
 src/main.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.rs b/src/main.rs
index 922ed30b..5b1346d2 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -108,6 +108,7 @@ fn set_panic_handlers() {
             error!("thread panic: {:?}", e);
             panic!(e)
         })
+        .num_threads(4)
         .build_global()
         .unwrap();
 }