# HG changeset patch
# User drewp@bigasterisk.com
# Date 1685653382 25200
# Node ID 8fa6a47521d7ec66975766498e94fd89423af76d
# Parent  605ea6ce409ef7c8d407b6311ff0571df0c64d89
comment

diff -r 605ea6ce409e -r 8fa6a47521d7 rdfdb/service.py
--- a/rdfdb/service.py	Wed May 31 00:43:42 2023 -0700
+++ b/rdfdb/service.py	Thu Jun 01 14:03:02 2023 -0700
@@ -78,7 +78,7 @@
             await self.db.patch(p, sender=self.connectionId)
         except ValueError as e:
             log.warning(f'patch from {self!r} did not apply: {e!r}')
-            # here we should disconnect that client and make them reset
+            # disconnect that client and make them reset
             await websocket.close()
 
     async def on_disconnect(self, websocket, close_code):