[PATCH v8 05/15] server: Rename thread priority to base_priority.