Enhancements for id.

Show member join date.
Fixed "id --members" not showing all members.

diff --git a/plugin/developer/developer.py b/plugin/developer/developer.py
index 009dfa9..00e52b9 100644 (file)
--- 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)])