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();