changeset 136:8fa6a47521d7

comment
author drewp@bigasterisk.com
date Thu, 01 Jun 2023 14:03:02 -0700
parents 605ea6ce409e
children ae6821e203ac
files rdfdb/service.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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):