# HG changeset patch
# User Tassilo Philipp
# Date 1492348130 -7200
# Node ID 76ed51a690a6879896f7164d485e0e6c8c87b5ef
# Parent  1d774010ddb979f19fe485fdbad6728fde3ba6b8
- todo comment

diff -r 1d774010ddb9 -r 76ed51a690a6 dynload/dynload_unix.c
--- a/dynload/dynload_unix.c	Sun Apr 16 15:05:50 2017 +0200
+++ b/dynload/dynload_unix.c	Sun Apr 16 15:08:50 2017 +0200
@@ -41,7 +41,7 @@
 
 DLLib* dlLoadLibrary(const char* libPath)
 {
-  return (DLLib*)dlopen(libPath,RTLD_NOW|RTLD_GLOBAL);
+  return (DLLib*)dlopen(libPath, RTLD_NOW|RTLD_GLOBAL); //@@@ should use RTLD_LAZY, maybe?
 }