diff options
| author | Ville Skytta <ville.skytta@iki.fi> | 2013-12-30 15:29:35 +0100 |
|---|---|---|
| committer | Ondřej Bílka <neleai@seznam.cz> | 2013-12-30 15:42:26 +0100 |
| commit | 9dcc8f116c57767cbdb967d57523c2050c25a583 (patch) | |
| tree | 8a1644d71deb804b101852a3ff5cdfb72ad5ba93 /manual/resource.texi | |
| parent | d97ae285e8c82cc07b719283e8a3dc799c1b9587 (diff) | |
Fix spelling in manual, as in bug 16376
Diffstat (limited to 'manual/resource.texi')
| -rw-r--r-- | manual/resource.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/resource.texi b/manual/resource.texi index 1ec7af29f0..5a1bb040be 100644 --- a/manual/resource.texi +++ b/manual/resource.texi @@ -1045,7 +1045,7 @@ describes the only scheduling many programmers need to be concerned about. But just to be clear about the scope of this scheduling: Any time a -process with a absolute priority of 0 and a process with an absolute +process with an absolute priority of 0 and a process with an absolute priority higher than 0 are ready to run at the same time, the one with absolute priority 0 does not run. If it's already running when the higher priority ready-to-run process comes into existence, it stops |