# HG changeset patch
# User wenzelm
# Date 1614619467 -3600
# Node ID 4f9e4d7d38b4839066815fed0827596b122d4a2a
# Parent  b70d82358c6dbbc0c5bb3ec37e844af70e4f8c25
download on separate thread;

diff -r b70d82358c6d -r 4f9e4d7d38b4 src/Pure/System/isabelle_system.ML
--- a/src/Pure/System/isabelle_system.ML	Mon Mar 01 18:11:06 2021 +0100
+++ b/src/Pure/System/isabelle_system.ML	Mon Mar 01 18:24:27 2021 +0100
@@ -113,7 +113,7 @@
 
 fun download url =
   with_tmp_file "download" "" (fn path =>
-   (scala_function0 "download" [url, absolute_path path];
+   (Scala.function_thread "download" (cat_strings0 [url, absolute_path path]);
     File.read path));
 
 end;