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