util/startup.lua
changeset 8691 019b4b3dd5ad
parent 8685 151ecd18d624
child 8695 a55574754e5f
--- a/util/startup.lua	Sat Mar 24 00:06:55 2018 +0100
+++ b/util/startup.lua	Sat Mar 24 21:39:03 2018 +0100
@@ -487,6 +487,7 @@
 	startup.read_config();
 	startup.init_global_state();
 	startup.chdir();
+	startup.read_version();
 	startup.switch_user();
 	startup.check_dependencies();
 	startup.force_console_logging();