Close internal battle server on shutdown

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