Re: [PATCH 6/6] server: Remove no longer used get_console_input_info.