In receive_client_request(), mark the server socket tainted if get_request_line(...