# HG changeset patch
# User wenzelm
# Date 1295643852 -3600
# Node ID f5619d83d0e308d9305f58514b98f4111592b5a8
# Parent  ad5474a8374b779b38ce23b3350a7741d2c99d6e
JVM/Windows: more robust treatment of unicode in file names;

diff -r ad5474a8374b -r f5619d83d0e3 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Fri Jan 21 19:01:40 2011 +0100
+++ b/lib/scripts/getsettings	Fri Jan 21 22:04:12 2011 +0100
@@ -56,7 +56,7 @@
 #JVM path wrapper
 if [ "$OSTYPE" = cygwin ]; then
   CLASSPATH="$(cygpath -u -p "$CLASSPATH")"
-  function jvmpath() { cygpath -w -p "$@"; }
+  function jvmpath() { cygpath -C UTF8 -w -p "$@"; }
   THIS_CYGWIN="$(jvmpath "/")"
 else
   function jvmpath() { echo "$@"; }