changeset 2544 | 2c6a25db1bd0 |
parent 2522 | c250fcafaba6 |
child 2548 | 49c8a096033f |
2543:8468aca3d896 | 2544:2c6a25db1bd0 |
---|---|
388 |
388 |
389 _current_player = old; |
389 _current_player = old; |
390 |
390 |
391 MarkWholeScreenDirty(); |
391 MarkWholeScreenDirty(); |
392 } |
392 } |
393 |
|
394 extern void DeletePlayerWindows(int pi); |
|
395 |
393 |
396 static void PlayersCheckBankrupt(Player *p) |
394 static void PlayersCheckBankrupt(Player *p) |
397 { |
395 { |
398 PlayerID owner; |
396 PlayerID owner; |
399 int64 val; |
397 int64 val; |