From 367c8533006afc3db528a2abaacbe0f10331b449 Mon Sep 17 00:00:00 2001 From: Fabian Dill Date: Thu, 20 Aug 2020 03:57:09 +0200 Subject: [PATCH] optimize getting player names --- BaseClasses.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/BaseClasses.py b/BaseClasses.py index 7120ec79..ce943cc3 100644 --- a/BaseClasses.py +++ b/BaseClasses.py @@ -135,9 +135,8 @@ class World(object): def get_name_string_for_object(self, obj) -> str: return obj.name if self.players == 1 else f'{obj.name} ({self.get_player_names(obj.player)})' - def get_player_names(self, player) -> str: - return ", ".join( - [name for i, name in enumerate(self.player_names[player]) if self.player_names[player].index(name) == i]) + def get_player_names(self, player: int) -> str: + return ", ".join(self.player_names[player]) def initialize_regions(self, regions=None): for region in regions if regions else self.regions: