lib/scripts/getsettings
changeset 41623 f5619d83d0e3
parent 41615 f70d2cb26acf
child 41758 a231e6110f9b
--- 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 "$@"; }