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