From 58bfb6e07301c84e21ef9de2aa5fb38546098401 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Wed, 4 Jan 2006 19:49:20 +0000 Subject: [PATCH] Clarify ROX. --- doc/userprog.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- 2.30.2