Comment 9 for bug 576347

it is Player::player_number(), which starts at 1..NumOfPlayers. There is no guarantee that the number is monotonic, as some player slots might be empty in a game.

My stuff is done, should I push it to widelands-server branch or to a private branch, so you can merge it later on? It is not tested though, as I do not know how I run a network game were I could test this.