[PATCH 4/5] server: Separate a poll_single_socket() helper.