From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sat, 24 Mar 2007 00:56:57 +0000 (+0000)
Subject: Clarify that create and remove work on files, not on file descriptors.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=854aa042a0e960f142cb15ecca8177ee01c3f927;p=pintos-anon

Clarify that create and remove work on files, not on file descriptors.
Thanks to Godmar Back for pointing out the need.
---

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 8524219..75bc8e5 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -655,11 +655,15 @@ of the rest.
 @deftypefn {System Call} bool create (const char *@var{file}, unsigned @var{initial_size})
 Creates a new file called @var{file} initially @var{initial_size} bytes
 in size.  Returns true if successful, false otherwise.
+Opening the new file is a separate operation using the @code{open}
+system call.
 @end deftypefn
 
 @deftypefn {System Call} bool remove (const char *@var{file})
 Deletes the file called @var{file}.  Returns true if successful, false
 otherwise.
+A file may be removed regardless of whether it is open or closed
+(@pxref{Removing an Open File}, for more information).
 @end deftypefn
 
 @deftypefn {System Call} int open (const char *@var{file})