From e74b7bda5973742c12a217ca3a50db84e923b556 Mon Sep 17 00:00:00 2001
From: Vincent Balat <balat@users.noreply.github.com>
Date: Fri, 3 Nov 2023 17:59:45 +0100
Subject: [PATCH] Dbm: add missing delayloading="false"

---
 src/dbm/ocsipersist.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/dbm/ocsipersist.ml b/src/dbm/ocsipersist.ml
index 7297c36..13e821a 100644
--- 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