Tools for managing game servers