chiark / gitweb /
Don't stop animations when restarting an already restarted game.