Set numeric locale in Lua in main menu

PilzAdam · PilzAdam · commit 9bd5f612f75b · 2013-07-08T02:28:36.000+02:00
diff --git 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")

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,5 @@`
	`1`	`+os.setlocale("C", "numeric")`
	`2`	`+`
`1`	`3`	`local scriptpath = engine.get_scriptdir()`
`2`	`4`
`3`	`5`	`dofile(scriptpath .. DIR_DELIM .. "modmgr.lua")`