fix(gracefulexit): handle server exit for exec_mode=main

Kitware / wslink

Python/JavaScript library for communicating over WebSocket

https://kitware.github.io/wslink/

BSD 3-Clause "New" or "Revised" License

83 stars 27 forks source link

Closed jspanchu closed 1 year ago

jspanchu commented 1 year ago

Handle backend exit exception instead of letting it propagate to application level. The aiohttp backend raises GracefulExit a subclass of SystemExit. This code assumes any other backend would similarly raise a SystemExit derived exception.
To achieve the above, the event loop must not be closed. Besides, calling code may want to schedule application clean up after server connection is closed.

jourdain commented 1 year ago

Looks good, but I will try to bundle some security fix in that next release as well on the JS side...

jourdain commented 1 year ago

:tada: This PR is included in version 1.10.1 :tada:

The release is available on:

Your semantic-release bot :package::rocket: