Set numeric locale in Lua in main menu

diff --git a/builtin/mainmenu.lua b/builtin/mainmenu.lua
index 0f418d83a8ed7b0649c5106887c71795258e4cad..87c96d690cc580766ac6a767f0763a7615ac3615 100644 (file)
--- a/builtin/mainmenu.lua
+++ b/builtin/mainmenu.lua
@@ -1,3 +1,5 @@
+os.setlocale("C", "numeric")
+
 local scriptpath = engine.get_scriptdir()
 
 dofile(scriptpath .. DIR_DELIM .. "modmgr.lua")