From a8b1536b1c703cd9c23ee9731a5bae4ba8180882 Mon Sep 17 00:00:00 2001
From: Paulo Matias <paulo.matias@usp.br>
Date: Thu, 2 May 2013 15:24:45 -0300
Subject: [PATCH] Use "C" for LC_NUMERIC locale when serializing settings
 files. Avoids comma in floating point numbers on some locales. Solves issue
 #92.

---
 frontend/settings.lua | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontend/settings.lua b/frontend/settings.lua
index 2354e7658..0b7e66b9c 100644
--- a/frontend/settings.lua
+++ b/frontend/settings.lua
@@ -114,6 +114,7 @@ function DocSettings:flush()
 	end
 	local f_out = io.open(self.file, "w")
 	if f_out ~= nil then
+		os.setlocale('C', 'numeric')
 		local out = {"-- we can read Lua syntax here!\nreturn "}
 		self:_serialize(self.data, out, 0)
 		table.insert(out, "\n")