Fix some error handling for lobby save info
authoradvil <rawlins@gmail.com>
Thu, 21 Jan 2021 17:41:38 +0000 (12:41 -0500)
committeradvil <rawlins@gmail.com>
Thu, 21 Jan 2021 17:41:38 +0000 (12:41 -0500)
commit6cd7b45605abe9fcaa12244b57adb321707af240
treef33f930ec3f49b06e0615d9697a9ffad1d542841
parent12357ec85acb6b7696f7ac9a8999d49c598b9a0d
Fix some error handling for lobby save info

This info was collected asynchronously, but the code didn't do anything
to handle the case where the socket closed before the save info was
fully collected, leading to uncaught exceptions in the logs.
crawl-ref/source/webserver/ws_handler.py