Merge pull request #3 from ocsigen/balat-patch-1

Dbm: add missing delayloading="false"
ocsigen · Jun 11, 2024 · cbf8728 · cbf8728
2 parents 7d5ae1a + e74b7bd
commit cbf8728
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/dbm/ocsipersist.ml b/src/dbm/ocsipersist.ml
@@ -336,6 +336,8 @@ module Registration = struct
     | [] -> d
     | Xml.Element ("delayloading", [("val", ("true" | "1"))], []) :: ll ->
         parse_global_config (store, ocsidbm, true) ll
+    | Xml.Element ("delayloading", [("val", ("false" | "0"))], []) :: ll ->
+        parse_global_config (store, ocsidbm, false) ll
     | Xml.Element ("store", [("dir", s)], []) :: ll ->
         if store = None
         then parse_global_config (Some s, ocsidbm, delayloading) ll