From: Ben Pfaff Date: Sat, 1 Jan 2005 01:03:31 +0000 (+0000) Subject: Revert to requiring that exec return -1 if there is a problem loading X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8b4b30e474d03688b62ad2ccb6c1ec162c6d2a8d;p=pintos-anon Revert to requiring that exec return -1 if there is a problem loading a program. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index e3771e4..884b757 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -405,9 +405,9 @@ conditions (usually errors). @item SYS_exec @itemx pid_t exec (const char *@var{cmd_line}) Runs the executable whose name is given in @var{cmd_line}, passing any -given arguments, and returns the new process's program id (pid). If -there is an error loading this program, may return pid -1, which -otherwise should not be a valid id number. +given arguments, and returns the new process's program id (pid). Must +return pid -1, which otherwise should not be a valid program id, if +there is an error loading this program. @item SYS_join @itemx int join (pid_t @var{pid})