diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-10-02 14:33:11 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-10-02 14:33:11 +0000 |
| commit | 54f4ec9245e7b34a6bdd8f61eaa1e84086e29225 (patch) | |
| tree | d7667a59a067122e2d9466a210c5543eae8735a4 | |
| parent | 044db96f4ece0e56746bb74b15a064f0d512c5cd (diff) | |
(do_exec): Doc fix.
| -rw-r--r-- | exec/exec.c | 4 |
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; |