wther/ladder — pull request #18 by balazon (2014-11-23 11:18:35+00:00)
Title: boardstrategy_impl roll infinite loop

bugfix for when human players finish, the server gets stuck in an infinite loop