From 9dcc8f116c57767cbdb967d57523c2050c25a583 Mon Sep 17 00:00:00 2001 From: Ville Skytta Date: Mon, 30 Dec 2013 15:29:35 +0100 Subject: Fix spelling in manual, as in bug 16376 --- manual/resource.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'manual/resource.texi') diff --git a/manual/resource.texi b/manual/resource.texi index 1ec7af2..5a1bb04 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 -- cgit v1.1