[PATCH v3 02/11] server: Use process base priority in set_thread_base_priority.