From e66b4882dc52c3b3b8a1db00b11d72a306edf73b Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Thu, 12 Apr 2018 16:05:08 +0200 Subject: [PATCH] [fix] setupkoenv: change "ERROR" to "(warning)" (#3860) Not all failures to load are fatal. I still worry that this might be too noisy but it'd be useful to always have available. --- setupkoenv.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setupkoenv.lua b/setupkoenv.lua index fee7d9716..fb8fa68c3 100644 --- a/setupkoenv.lua +++ b/setupkoenv.lua @@ -26,7 +26,7 @@ ffi.load = function(lib) local lib_path = package.searchpath(lib, "./lib?.so;./libs/lib?.so;./libs/lib?.so.1") if not lib_path then - io.write("ffi.load ERROR: ", re, "\n") + io.write("ffi.load (warning): ", re, "\n") error('Not able to load dynamic library: ' .. lib) else io.write("ffi.load (assisted searchpath): ", lib_path, "\n")