economy.c
changeset 2544 2c6a25db1bd0
parent 2522 c250fcafaba6
child 2548 49c8a096033f
equal deleted inserted replaced
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;