X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fuserprog.texi;h=71b084ac3b02106877626dcbea6165112f193a3b;hb=58bfb6e07301c84e21ef9de2aa5fb38546098401;hp=7f50192db19841839f37da6d628e19e01eb36652;hpb=5d06d40f329821486474d70a26f985254e2c19f1;p=pintos-anon

diff --git a/doc/userprog.texi b/doc/userprog.texi
index 7f50192..71b084a 100644
--- a/doc/userprog.texi
+++ b/doc/userprog.texi
@@ -778,7 +778,8 @@ hurt even now.
 You can use @func{file_deny_write} to prevent writes to an open file.
 Calling @func{file_allow_write} on the file will re-enable them (unless
 the file is denied writes by another opener).  Closing a file will also
-re-enable writes.
+re-enable writes.  Thus, to deny writes to process's executable, you
+must keep it open as long as the process is still running.
 
 @node Project 2 FAQ
 @section FAQ