# HG changeset patch
# User wenzelm
# Date 1378484125 -7200
# Node ID 7762a799ba5f5a333e599ffc9cc07426709843a7
# Parent  2f6c0289dcde4eb927e447d5c2c1c313178ad3ac
prefer explicit thread;

diff -r 2f6c0289dcde -r 7762a799ba5f src/Pure/System/cygwin_init.scala
--- a/src/Pure/System/cygwin_init.scala	Fri Sep 06 18:14:50 2013 +0200
+++ b/src/Pure/System/cygwin_init.scala	Fri Sep 06 18:15:25 2013 +0200
@@ -54,7 +54,7 @@
         case None =>
         case Some(0) =>
           visible = false
-          default_thread_pool.submit(() => start)
+          Simple_Thread.fork("Isabelle") { start }
         case Some(rc) =>
           sys.exit(rc)
       }