jupyter-server / pycrdt-websocket

WebSocket Connector for pycrdt
https://jupyter-server.github.io/pycrdt-websocket
MIT License
14 stars 10 forks source link

Use sqlite-anyio's Connection async context manager and exception logger #51

Closed davidbrochart closed 4 months ago

Zsailer commented 4 months ago

Thanks, @davidbrochart. LGTM!