increase_max_threads


Description:

public void increase_max_threads (int new_max_threads)

Update the max_threads property to the new value if it permits more threads than the old value.

Setting the max_threads using set_max_threads can clobber the value, so you should prefer to use this method if you want to increase the number of threads.

Parameters:

new_max_threads new maximum number of threads

See also:

set_max_threads, get_max_threads