po-devs/pokemon-online — pull request #817 by TheUnknownOne (2013-12-01 00:57:11+00:00)
Title: Close internal battle server on shutdown

It doesn't close the internal battle server when it crashes, but that isn't ideal anyways! (and there's not much to do about :( )