adding server info output gui to push_game