diff options
Diffstat (limited to 'doc/user/task.t')
| -rw-r--r-- | doc/user/task.t | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user/task.t b/doc/user/task.t index a172a0c67b..cf7a514b1a 100644 --- a/doc/user/task.t +++ b/doc/user/task.t @@ -1291,6 +1291,9 @@ The calling task may be preempted if its preemption mode is enabled and it lowers its own priority or raises another task's priority. +In case the new priority equals the current priority of the task, then nothing +happens. + Setting the priority of a global task which does not reside on the local node will generate a request to the remote node to change the priority of the specified task. |