# HG changeset patch
# User wenzelm
# Date 1316443217 -7200
# Node ID 33aa6da101d887cb5896c88b8ef079124b5c71fe
# Parent  fd3a36e48b0926102ed66e76e4c17882cc9d30fe
at least 2 worker threads to ensure some degree of lifeness, notably for asynchronous Document.print_state;

diff -r fd3a36e48b09 -r 33aa6da101d8 src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Mon Sep 19 14:40:38 2011 +0200
+++ b/src/Pure/System/isabelle_process.ML	Mon Sep 19 16:40:17 2011 +0200
@@ -177,6 +177,9 @@
 
     val _ = quick_and_dirty := true;
     val _ = Goal.parallel_proofs := 0;
+    val _ =
+      if Multithreading.max_threads_value () < 2
+      then Multithreading.max_threads := 2 else ();
     val _ = Context.set_thread_data NONE;
     val _ =
       Unsynchronized.change print_mode