# HG changeset patch
# User drewp@bigasterisk.com
# Date 1685234211 25200
# Node ID 1780382477ed8e547439a602c4c969a2cbf1b013
# Parent  91b0a82df6e007a65a0cf0beeb32aa4e5b83b0d6
turn a disconnect into a warning

diff -r 91b0a82df6e0 -r 1780382477ed rdfdb/service.py
--- a/rdfdb/service.py	Sat May 27 17:34:30 2023 -0700
+++ b/rdfdb/service.py	Sat May 27 17:36:51 2023 -0700
@@ -56,7 +56,11 @@
         await self.db.addClient(self.connectionId, functools.partial(self._onPatch, websocket))
 
     async def _onPatch(self, websocket: WebSocket, p: Patch):
-        await websocket.send_text(p.makeJsonRepr())
+        try:
+            await websocket.send_text(p.makeJsonRepr())
+        except RuntimeError:
+            # likely WS disconnect
+            log.warning("onPatch failed- hope the client calls back")
 
     async def on_receive(self, websocket: WebSocket, data: str):
         if data == 'PING':