[PATCH v9 04/14] server: Rename thread priority to base_priority.