# HG changeset patch
# User wenzelm
# Date 1335114270 -7200
# Node ID cdf95042e09cceafe5ebb8506b5cb73109769b3b
# Parent  dd253cfa5b23f086fb4edb17ea3966c15ebdf825
more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe);

diff -r dd253cfa5b23 -r cdf95042e09c lib/Tools/getenv
--- a/lib/Tools/getenv	Sun Apr 22 16:33:41 2012 +0200
+++ b/lib/Tools/getenv	Sun Apr 22 19:04:30 2012 +0200
@@ -76,6 +76,7 @@
 fi
 
 if [ -n "$DUMP" ]; then
+  export PATH_JVM="$(jvmpath "$PATH")"
   exec perl -w -e 'for $key (keys %ENV) { print $key, "=", $ENV{$key}, "\x00"; }' > "$DUMP"
 fi
 
diff -r dd253cfa5b23 -r cdf95042e09c lib/scripts/getsettings
diff -r dd253cfa5b23 -r cdf95042e09c src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sun Apr 22 16:33:41 2012 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sun Apr 22 19:04:30 2012 +0200
@@ -74,12 +74,12 @@
               if (rc != 0) error(output)
 
               val entries =
-                for (entry <- Source.fromFile(dump).mkString split "\0" if entry != "") yield {
+                (for (entry <- Source.fromFile(dump).mkString split "\0" if entry != "") yield {
                   val i = entry.indexOf('=')
                   if (i <= 0) (entry -> "")
                   else (entry.substring(0, i) -> entry.substring(i + 1))
-                }
-              Map(entries: _*) + ("PATH" -> System.getenv("PATH"))
+                }).toMap
+              entries + ("PATH" -> entries("PATH_JVM")) - "PATH_JVM"
             }
           }
       _state = Some(State(standard_system, settings))