# HG changeset patch
# User wenzelm
# Date 1613128404 -3600
# Node ID 7f55a3e28c88f137d202cc4baba367c5f796253a
# Parent  9fd449357079df86f0ea7fabb29498988c942abe
more robust: resolve historic components via current tool to access current server;

diff -r 9fd449357079 -r 7f55a3e28c88 src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Fri Feb 12 12:11:35 2021 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Fri Feb 12 12:13:24 2021 +0100
@@ -50,7 +50,9 @@
     bash("bin/isabelle " + cmdline, redirect = redirect, echo = echo, strict = strict)
 
   def resolve_components(echo: Boolean): Unit =
-    other_isabelle("components -a", redirect = true, echo = echo).check
+    other_isabelle(
+      "env ISABELLE_TOOLS=" + Bash.string(Isabelle_System.getenv("ISABELLE_TOOLS")) +
+      " isabelle components -a", redirect = true, echo = echo).check
 
   def getenv(name: String): String =
     other_isabelle("getenv -b " + Bash.string(name)).check.out