matthew/enhanced-discord.py
1
0
Fork 0
Code Issues 4 Pull Requests 21 Projects Releases Wiki Activity

Propagate exception in Client.run

Browse Source 
Fix #2237
This commit is contained in:
Rapptz
2019-06-20 23:00:45 -04:00
parent 20fa3001f2
commit b2f247bef3
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
discord/client.py
View File

@@ -594,6 +594,8 @@ class Client:
log.info('Cleaning up tasks.') log.info('Cleaning up tasks.')
_cleanup_loop(loop) _cleanup_loop(loop)
return future.result()
# properties # properties
def is_closed(self): def is_closed(self):