These functions allow getting and setting the OS scheduling priority of
the worker threads in this TaskPool. They forward to
core.thread.Thread.priority, so a given priority value here means the
same thing as an identical priority value in core.thread.
Note: For a size zero pool, the getter arbitrarily returns
core.thread.Thread.PRIORITY_MIN and the setter has no effect.
These functions allow getting and setting the OS scheduling priority of the worker threads in this TaskPool. They forward to core.thread.Thread.priority, so a given priority value here means the same thing as an identical priority value in core.thread.
Note: For a size zero pool, the getter arbitrarily returns core.thread.Thread.PRIORITY_MIN and the setter has no effect.