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