changeset 122:d7810d94b595

attempt to resync after another kind of patch failure. untested- hope it doesn't infloop!
author drewp@bigasterisk.com
date Wed, 24 May 2023 12:49:56 -0700
parents 8a0559bcbe7e
children 4f8e1a447b12
files rdfdb/syncedgraph/syncedgraph_base.py
diffstat 1 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/rdfdb/syncedgraph/syncedgraph_base.py	Wed May 24 12:49:01 2023 -0700
+++ b/rdfdb/syncedgraph/syncedgraph_base.py	Wed May 24 12:49:56 2023 -0700
@@ -212,7 +212,13 @@
             else:
                 log.debug('server has sent us %s', p)
 
-        self._applyPatchLocally(p)
+        try:
+            self._applyPatchLocally(p)
+        except ValueError as e:
+            log.error(e)
+            await self._resync()
+            return
+        
         try:
             await self.runDepsOnNewPatch(p)
         except Exception: