From e35b950eea7ffa65deffc34c52a24b7f70ee7d6b Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Wed, 21 Nov 2012 00:04:58 +0100
Subject: [PATCH] fixing locale issue

---
 src/parser/read_tra_file.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/parser/read_tra_file.cpp b/src/parser/read_tra_file.cpp
index 1e494d40d..842f1a697 100644
--- a/src/parser/read_tra_file.cpp
+++ b/src/parser/read_tra_file.cpp
@@ -18,12 +18,14 @@
 #include <cstdlib>
 #include <cstdio>
 #include <cstring>
+#include <clocale>
 #include <iostream>
 #include <errno.h>
 #include <time.h>
 #include <sys/stat.h>
 #include <sys/mman.h>
 #include <fcntl.h>
+#include <locale.h>
 
 #include <pantheios/pantheios.hpp>
 #include <pantheios/inserters/integer.hpp>
@@ -97,6 +99,10 @@ static uint_fast32_t make_first_pass(char* buf)
  */
 
 sparse::StaticSparseMatrix<double> * read_tra_file(const char * filename) {
+	if (setlocale( LC_NUMERIC, "de_DE" ) == 0)
+	{
+		fprintf(stderr, "could not set locale\n");
+	}
 	/*
 		open file and map to memory
 	*/