From 54f4ec9245e7b34a6bdd8f61eaa1e84086e29225 Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Mon, 2 Oct 1995 14:33:11 +0000
Subject: (do_exec): Doc fix.

---
 exec/exec.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'exec')

diff --git a/exec/exec.c b/exec/exec.c
index 5cfd10ed..a4944ef1 100644
--- a/exec/exec.c
+++ b/exec/exec.c
@@ -1212,6 +1212,10 @@ do_exec (mach_port_t execserver,
 
 
   /* Catch this error now, rather than later.  */
+  /* XXX For EXEC_DEFAULTS, this is only an error if one of the user's
+     ports is null; if they are all provided, then EXEC_DEFAULTS would
+     have no effect, and the lack of installed standard ports should
+     not cause an error.  -mib */
   if ((!std_ports || !std_ints) && (flags & (EXEC_SECURE|EXEC_DEFAULTS)))
     return EIEIO;
 
-- 
cgit v1.2.3