Elgato_dark/gitui
1
0
Fork 0
mirror of https://github.com/gitui-org/gitui synced 2026-05-24 09:28:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix threadpool size to be big enough

Browse source
This commit is contained in:
Stephan Dilly 2020-03-30 18:20:51 +02:00
parent 264be544c2
commit 6d8b9c3fb6
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/main.rs
View file

@ -108,6 +108,7 @@ fn set_panic_handlers() {
error!("thread panic: {:?}", e); error!("thread panic: {:?}", e);
panic!(e) panic!(e)
}) })
.num_threads(4)
.build_global() .build_global()
.unwrap(); .unwrap();
} }