# HG changeset patch
# User wenzelm
# Date 1284559612 -7200
# Node ID f1d6ede54862efb1847d2fda4b955bbdc829a156
# Parent  aa3b8787edd72770ae10d2f3eb3e2582262cda09
Document.async_state: some attempts to make this more robust wrt. cancelation of the main transaction -- avoid confusing feedback about pending forks;

diff -r aa3b8787edd7 -r f1d6ede54862 src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Wed Sep 15 16:04:40 2010 +0200
+++ b/src/Pure/PIDE/document.ML	Wed Sep 15 16:06:52 2010 +0200
@@ -204,10 +204,10 @@
 fun async_state tr st =
   if Toplevel.print_of tr then
     ignore
-      (Future.fork
+      (Future.fork_group (Task_Queue.new_group NONE)
         (fn () =>
           Toplevel.setmp_thread_position tr
-            (fn () => Future.status (fn () => Toplevel.print_state false st)) ()))
+            (fn () => Toplevel.print_state false st) ()))
   else ();
 
 in