benbaptist/pymine2 — pull request #5 by gkbrk (2013-09-12 14:23:40+00:00)
Title: Fixed server-close "time" bug.

Fixed the "time" bug, which appears when you try to stop the server with players on it.