This PR fixes the issue #4512 by checking that the priority set on non-real time threads is strictly positive before doing the nice system call. The documentation is updated accordingly.
It also fixes a following remark on errors when a thread is created with the scheduling policy OTHER, but without indicating the priority. The priority must be set to 0, as it cannot inherit the priority of the creator thread if that thread has a real-time priority.
This PR fixes the issue #4512 by checking that the priority set on non-real time threads is strictly positive before doing the
nicesystem call. The documentation is updated accordingly. It also fixes a following remark on errors when a thread is created with the scheduling policy OTHER, but without indicating the priority. The priority must be set to 0, as it cannot inherit the priority of the creator thread if that thread has a real-time priority.