# HG changeset patch
# User drewp@bigasterisk.com
# Date 1684957796 25200
# Node ID d7810d94b59526fe6ce128ab0f5242ad5d1eb9ff
# Parent  8a0559bcbe7eded191cddaed7d4e7fa39f56d67e
attempt to resync after another kind of patch failure. untested- hope it doesn't infloop!

diff -r 8a0559bcbe7e -r d7810d94b595 rdfdb/syncedgraph/syncedgraph_base.py
--- 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: