From: Ben Pfaff <blp@cs.stanford.edu>
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})