src/Pure/Tools/main.scala
changeset 60997 65cbc1abfc54
parent 60992 89effcb342df
child 61001 ea38a1922a0b
--- a/src/Pure/Tools/main.scala	Fri Aug 21 17:53:10 2015 +0200
+++ b/src/Pure/Tools/main.scala	Fri Aug 21 17:59:54 2015 +0200
@@ -225,23 +225,11 @@
     {
       val isabelle_home = Isabelle_System.getenv("ISABELLE_HOME")
       val isabelle_home_user = Isabelle_System.getenv("ISABELLE_HOME_USER")
-      val upd =
-        if (Platform.is_windows)
-          List(
-            "ISABELLE_HOME" -> File.platform_path(isabelle_home),
-            "ISABELLE_HOME_USER" -> File.platform_path(isabelle_home_user),
-            "INI_DIR" -> "")
-        else
-          List(
-            "ISABELLE_HOME" -> isabelle_home,
-            "ISABELLE_HOME_USER" -> isabelle_home_user)
 
       (env0: Any) => {
         val env = env0.asInstanceOf[java.util.Map[String, String]]
-        upd.foreach {
-          case (x, "") => env.remove(x)
-          case (x, y) => env.put(x, y)
-        }
+        env.put("ISABELLE_HOME", File.platform_path(isabelle_home))
+        env.put("ISABELLE_HOME_USER", File.platform_path(isabelle_home_user))
       }
     }