diff options
author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-10-12 15:53:53 +0200 |
---|---|---|
committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-10-14 11:13:12 +0200 |
commit | c3b7c5cc2d3f5d6ee42ba71d3880d3a3a8d5a0cb (patch) | |
tree | 0369b91f9a999560d938b098d4998e0a2e7968c3 /modules | |
parent | 4294b1f4bba55f2229280eac8668ec31e9ab3f0e (diff) |
Increase HTML5 THREADPOOL size.
This fixes a "random" deadlock when quitting the editor.
I still haven't figure out the root cause, but having a bigger seems to
greatly mitigate the issue.
The new pool size (pre-allocated threads) is now 8.
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions