Fix crashes when removing all of the listed players in the Server app.
Merge branch 'master' of https://github.com/ggp-org/ggp-base.git