equal
deleted
inserted
replaced
797 |
797 |
798 _local_player = OWNER_NONE; |
798 _local_player = OWNER_NONE; |
799 _generating_world = true; |
799 _generating_world = true; |
800 // delete all players. |
800 // delete all players. |
801 for (i = 0; i != MAX_PLAYERS; i++) { |
801 for (i = 0; i != MAX_PLAYERS; i++) { |
802 ChangeOwnershipOfPlayerItems(i, 0xff); |
802 ChangeOwnershipOfPlayerItems(i, OWNER_SPECTATOR); |
803 _players[i].is_active = false; |
803 _players[i].is_active = false; |
804 } |
804 } |
805 _generating_world = false; |
805 _generating_world = false; |
806 // delete all stations owned by a player |
806 // delete all stations owned by a player |
807 DeleteAllPlayerStations(); |
807 DeleteAllPlayerStations(); |