commit 65f9c6de3565613b3620e410c713f0f429d7ee48 Author: iwakeh iwakeh@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>