set numeric locale to "C". helps #7167

JuliaLang · Jun 8, 2014 · 6a07ad5 · vtjnash · Jun 9, 2014 · 6a07ad5
1 parent 308139b
commit 6a07ad5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/support/libsupportinit.c b/src/support/libsupportinit.c
@@ -17,6 +17,7 @@ void libsupport_init(void)
 {
     if (!isInitialized) {
         setlocale(LC_ALL, ""); // set to user locale
+        setlocale(LC_NUMERIC, "C"); // use locale-independent numeric formats
 
         ios_init_stdstreams();