summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-10-02 14:33:11 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-10-02 14:33:11 +0000
commit54f4ec9245e7b34a6bdd8f61eaa1e84086e29225 (patch)
treed7667a59a067122e2d9466a210c5543eae8735a4
parent044db96f4ece0e56746bb74b15a064f0d512c5cd (diff)
(do_exec): Doc fix.
-rw-r--r--exec/exec.c4
1 files changed, 4 insertions, 0 deletions
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;