--- a/util/startup.lua Tue Aug 25 15:59:04 2020 +0100
+++ b/util/startup.lua Fri Aug 28 12:40:59 2020 +0100
@@ -546,6 +546,10 @@
return true;
end
+function startup.init_errors()
+ require "util.error".configure(config.get("*", "error_library"));
+end
+
function startup.make_host(hostname)
return {
type = "local",
@@ -577,6 +581,7 @@
startup.force_console_logging();
startup.init_logging();
startup.init_gc();
+ startup.init_errors();
startup.setup_plugindir();
-- startup.setup_plugin_install_path();
startup.setup_datadir();
@@ -600,6 +605,7 @@
startup.read_config();
startup.init_logging();
startup.init_gc();
+ startup.init_errors();
startup.sanity_check();
startup.sandbox_require();
startup.set_function_metatable();