download on separate thread;
authorwenzelm
Mon, 01 Mar 2021 18:24:27 +0100
changeset 73584 4f9e4d7d38b4
parent 73583 b70d82358c6d
child 73585 c707655239e2
download on separate thread;
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;