Skip to content

Commit 11532a6

Browse files
committed
Fix Unix already loaded error
1 parent e581848 commit 11532a6

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

src/baselib/ocsigen_loader.ml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,11 @@ let loadfile pre post force file =
8484
with e -> post (); raise e);
8585
addloaded file)
8686
else Lwt_log.ign_info_f ~section "Extension %s already loaded" file
87-
with e -> raise (Dynlink_error (file, e))
87+
with
88+
| Dynlink.Error (Dynlink.Module_already_loaded m) ->
89+
Lwt_log.ign_info_f ~section
90+
"While loading extension %s: Module %s cannot be loaded again" file m
91+
| e -> raise (Dynlink_error (file, e))
8892

8993
let id () = ()
9094

0 commit comments

Comments
 (0)