From 11532a6d6a0f02494819186dce8ccc9bc5f12578 Mon Sep 17 00:00:00 2001
From: Jules Aguillon <jules@j3s.fr>
Date: Mon, 7 Apr 2025 16:17:30 +0200
Subject: [PATCH] Fix Unix already loaded error

---
 src/baselib/ocsigen_loader.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/baselib/ocsigen_loader.ml b/src/baselib/ocsigen_loader.ml
index 35a30b03c..60932472b 100644
--- a/src/baselib/ocsigen_loader.ml
+++ b/src/baselib/ocsigen_loader.ml
@@ -84,7 +84,11 @@ let loadfile pre post force file =
        with e -> post (); raise e);
       addloaded file)
     else Lwt_log.ign_info_f ~section "Extension %s already loaded" file
-  with e -> raise (Dynlink_error (file, e))
+  with
+  | Dynlink.Error (Dynlink.Module_already_loaded m) ->
+      Lwt_log.ign_info_f ~section
+        "While loading extension %s: Module %s cannot be loaded again" file m
+  | e -> raise (Dynlink_error (file, e))
 
 let id () = ()