2df41d8144
[Web] Use actual `PThread` pool size for `get_default_thread_pool_size()`
[Web] Use actual `PThread` pool size for `get_default_thread_pool_size()`