modification in ServerConsole