original_docstring: Populate list of users from players
docstring: Populate list of users from players
docstring_tokens: Populate list of users from players
code: def populate_user_list():
      """Populate list of users from players"""
      with session_scope() as session:
          for server in bot.servers: #NOTE: If the bot is in more than one server this will need something smarter
              for row in session.query(Movelist):
                  member = discord.utils.find(lambda m: m.id == row.discord_id, server.members)
                  userlist.append(member)
code_tokens: def populate_user_list ( ) : with session_scope ( ) as session : for server in bot . servers : for row in session . query ( Movelist ) : member = discord . utils . find ( lambda m : m . id == row . discord_id , server . members ) userlist . append ( member )
short_docstring: Populate list of users from players
short_docstring_tokens: Populate list of users from players
comment: """Populate list of users from players"""$SEP$#NOTE: If the bot is in more than one server this will need something smarter