Fabio Alessandrelli c3b7c5cc2d 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.

2020-10-14 11:13:12 +02:00

6.3 KiB

Raw Blame History

View Raw