Sockets not being closed correctly?

Hey all,

I’m suffering from this bug in the Discord API library for Python, which its developer has closed as [allegedly] being an upstream defect (i.e. a bug in AIOHTTP); he’s quite certain his code is airtight, and the issue has been traced back to the library’s Websockets→AIOHTTP migration.

I’m, unfortunately, not yet skilled enough in Python to actually verify his claims, or to produce enough detailed troubleshooting information to submit an Issue Proper to your GitHub tracker.

Can anybody take a look at this?

Thanks much,

– James

Here are a few code snippets of interest: