[PATCH v6 04/15] server: Rename base_priority to effective_priority in apply_thread_priority.