util/startup.lua
changeset 11054 51be24b16e8a
parent 10952 bebb384090b0
child 11056 1f42b08b134f
--- 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();