# 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)) }