# HG changeset patch
# User wenzelm
# Date 1354895615 -3600
# Node ID 7c8ce63a3c0021dbf09a588abd9356ac68284dda
# Parent  027d405951c891543d0cc0ea733ab33dc33d2439
deactivate actual fork -- unstable in scala-2.9.2 on multicore hardware;

diff -r 027d405951c8 -r 7c8ce63a3c00 src/Pure/Thy/thy_info.scala
--- a/src/Pure/Thy/thy_info.scala	Fri Dec 07 16:33:17 2012 +0100
+++ b/src/Pure/Thy/thy_info.scala	Fri Dec 07 16:53:35 2012 +0100
@@ -87,15 +87,18 @@
             val syntax0 = syntax.add_keywords(header0.keywords)
 
             if (thy_load.body_files_test(syntax0, string)) {
-              default_thread_pool.submit(() =>
-                Exn.capture {
+              /* FIXME
+                  unstable in scala-2.9.2 on multicore hardware -- spurious NPE
+                  OK in scala-2.10.0.RC3 */
+              // default_thread_pool.submit(() =>
+                Library.future_value(Exn.capture {
                   try {
                     val files = thy_load.body_files(syntax0, string)
                     header0.copy(uses = header0.uses ::: files.map((_, false)))
                   }
                   catch { case ERROR(msg) => err(msg) }
-                }
-              )
+                })
+              //)
             }
             else Library.future_value(Exn.Res(header0))
           }