diff options
| -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; |