From: Ben Pfaff 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=fe97613eb0d912354b34a824f2db17391bd4de90;p=pintos-anon Clarify "invalid PID". Thanks to "Kevin Hart" 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.