Re: [PATCH] server: Fix handling of STATUS_ALERTED in get_next_console_request.