From 4e73df0618fa20ae91fccc46179bf4fd1dc837a9 Mon Sep 17 00:00:00 2001 From: CMDR furrycat Date: Tue, 5 Dec 2017 09:30:12 +0000 Subject: [PATCH] Enhancements for id. Show member join date. Fixed "id --members" not showing all members. --- plugin/developer/developer.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/plugin/developer/developer.py b/plugin/developer/developer.py index 009dfa9..00e52b9 100644 --- a/plugin/developer/developer.py +++ b/plugin/developer/developer.py @@ -187,12 +187,15 @@ class Developer(object): results = [] if do & Identify.member.value: - if member_id: - for server in client.servers: + for server in client.servers: + if member_id: member = server.get_member(member_id) if member is not None: results.append(member) break + else: + for member in server.members: + results.append(member) else: if target: member = bot.get_member_by_name(target) @@ -232,4 +235,4 @@ class Developer(object): continue results.append(server) - yield from bot.say_many(message.channel, ['{} {} {}'.format(Identify.string(result), result.id, result.name) for result in set(results)]) + yield from bot.say_many(message.channel, ['{} {} {}{}'.format(Identify.string(result), result.id, result.name, ' {}'.format(result.joined_at) if type(result) == discord.member.Member else '') for result in set(results)]) -- 2.7.4