SpaceDev/SpaceBukkit — pull request #154 by tips48 (2012-05-12 21:12:34+00:00)
Title: Fix cosmetic error on server shutdown

Fixes the socket-closed error on shutdown. The other error I said I would fix is web side, hence there not being a fix here