diff options
author | jomo <github@jomo.tv> | 2014-07-27 22:44:12 +0200 |
---|---|---|
committer | jomo <github@jomo.tv> | 2014-07-27 22:44:12 +0200 |
commit | 63810a078224ba6459a07a7545b50a9ceb4a3873 (patch) | |
tree | ae5e71d6ef6537ea47f0c89e5fa667fd2fd167b6 /friends.py | |
parent | 4707b0fd914fefc9eba5f0609c692ce5998dfcb9 (diff) |
better name + docs for played_before (renamed to known_player)
Diffstat (limited to 'friends.py')
-rw-r--r-- | friends.py | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -59,7 +59,7 @@ def add(sender, names): for name in names: player = server.getOfflinePlayer(name) - if played_before(player): + if known_player(player): player_id = uid(player) not_yourself = player != sender @@ -93,7 +93,7 @@ def rem(sender, names): for name in names: player = server.getOfflinePlayer(name) - if played_before(player): + if known_player(player): player_id = uid(player) if player_id in friends.get(sender_id, []): friends[sender_id].remove(player_id) |