[PATCH 4/7] server: Implement console input flush in server.