Mercurial > code > home > repos > rdfdb
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):