From: Ben Pfaff <blp@cs.stanford.edu>
Date: Wed, 21 Dec 2005 01:00:32 +0000 (+0000)
Subject: Clarify "invalid PID".
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a152145f88e7dcc85c748c1a8e44a55f7a2a05f6;p=pintos-anon

Clarify "invalid PID".
Thanks to "Kevin Hart" <kevin.hart@hp.com> for question.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 7322dd5..00c0f67 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -594,7 +594,7 @@ the program cannot load or run for any reason.
 Waits for process @var{pid} to die and returns the status it passed to
 @code{exit}.  Returns -1 if @var{pid}
 was terminated by the kernel (i.e.@: killed due to an exception).  If
-@var{pid} is invalid or if it was not a child of the
+@var{pid} is does not refer to a child of the
 calling thread, or if @code{wait} has already been successfully
 called for the given @var{pid}, returns -1 immediately, without
 waiting.