DBM config: allow <delayloading val="false"/>

ocsigen · May 22, 2024 · edd5f14 · edd5f14
1 parent 2daa77d
commit edd5f14
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/dbm/ocsipersist_config.ml b/src/dbm/ocsipersist_config.ml
@@ -3,6 +3,8 @@ let rec parse_global_config ((store, ocsidbm, delayloading) as d) = function
   | [] -> 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