better name + docs for played_before (renamed to known_player)

2014-07-27 22:44:12 +02:00
parent 4707b0fd91
commit 63810a0782
2 changed files with 6 additions and 5 deletions
--- a/friends.py
+++ b/friends.py
@@ -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)