[PATCH v3 2/5] server: Delay set_thread_priority until unix_tid is known.