[tor-commits] [metrics-web/master] Ensure that java runs don't depend on server locale.

[karsten at torproject.org]

commit 65f9c6de3565613b3620e410c713f0f429d7ee48
Author: iwakeh <iwakeh at torproject.org>
Date:   Mon Dec 4 11:14:51 2017 +0000

    Ensure that java runs don't depend on server locale.
    
    As in commit 32b0a83 this leads to problems in locales not using a decimal dot.
---
 build.xml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/build.xml b/build.xml
index fbfa111..eaf8a3d 100644
--- a/build.xml
+++ b/build.xml
@@ -394,6 +394,8 @@
         <pathelement location="${resources}"/>
       </classpath>
       <jvmarg value="-DLOGBASE=../logs"/>
+      <jvmarg value="-Duser.language=us" />
+      <jvmarg value="-Duser.region=US" />
     </java>
   </target>