From: Ben Pfaff Date: Mon, 13 Sep 2004 03:17:59 +0000 (+0000) Subject: Remove FIXME that I fixed in the sources. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6ae3a25e3d704ae43fd0685c49bccd297fc1dc78;p=pintos-anon Remove FIXME that I fixed in the sources. --- diff --git a/doc/userprog.texi b/doc/userprog.texi index f80a80c..b3f8f4c 100644 --- a/doc/userprog.texi +++ b/doc/userprog.texi @@ -445,8 +445,6 @@ limit of 128 open files per process (as the Solaris machines here do). @b{What happens when two (or more) processes have a file open and one of them removes it?} -FIXME FIXME FIXME - You should copy the standard Unix semantics for files. That is, when a file is removed an process which has a file descriptor for that file may continue to do operations on that descriptor. This means that