From 523d73a8ea0712ff14155ab5c4f1883966c93c62 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Jun 2015 10:27:41 +0000 Subject: [PATCH] Set locale for display of numerical values - otherwise, e.g. with LANG=de_DE.UTF-8, probabilities will be exported in the form 0,5 not 0.5 (reported by Joacim Klein). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9994 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/prism/PrismNative.cc | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/prism/src/prism/PrismNative.cc b/prism/src/prism/PrismNative.cc index 962b595f..a8fe3af5 100644 --- a/prism/src/prism/PrismNative.cc +++ b/prism/src/prism/PrismNative.cc @@ -28,6 +28,7 @@ #include #include #include +#include #include "PrismNativeGlob.h" #include "jnipointer.h" @@ -75,6 +76,10 @@ JNIEXPORT void JNICALL Java_prism_PrismNative_PN_1SetPrism(JNIEnv *env, jclass c prism_obj = env->NewGlobalRef(prism); // get the class and make a global reference to it prism_cls = (jclass)env->NewGlobalRef(env->GetObjectClass(prism_obj)); + + // We should also set the locale, to ensure consistent display of numerical values + // (e.g. 0.5 not 0,5). This seems as good a place as any to do it. + setlocale(LC_NUMERIC, "C"); } //------------------------------------------------------------------------------