diff options
| -rw-r--r-- | libports/manage-multithread.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libports/manage-multithread.c b/libports/manage-multithread.c index 2067cbaa..ad22991c 100644 --- a/libports/manage-multithread.c +++ b/libports/manage-multithread.c @@ -50,6 +50,11 @@ adjust_priority (unsigned int totalthreads) thread_switch (MACH_PORT_NULL, SWITCH_OPTION_DEPRESS, t); err = get_privileged_ports (&host_priv, NULL); + if (err == MACH_SEND_INVALID_DEST) + /* This is returned if we neither have the privileged host control + port cached nor have a proc server to talk to. Give up. */ + return; + if (err) goto error_host_priv; |