# HG changeset patch
# User wenzelm
# Date 1378411705 -7200
# Node ID 091b05002c5490861ad3397917b29b163e147cbd
# Parent  b5a279c7d7f3648217a11ac0f9ac9c0c89e4b4d4
close window and start process asynchronously;

diff -r b5a279c7d7f3 -r 091b05002c54 src/Pure/System/cygwin_init.scala
--- a/src/Pure/System/cygwin_init.scala	Thu Sep 05 21:37:32 2013 +0200
+++ b/src/Pure/System/cygwin_init.scala	Thu Sep 05 22:08:25 2013 +0200
@@ -52,8 +52,11 @@
     {
       _return_code match {
         case None =>
-        case Some(0) => start
-        case Some(rc) => sys.exit(rc)
+        case Some(0) =>
+          visible = false
+          default_thread_pool.submit(() => start)
+        case Some(rc) =>
+          sys.exit(rc)
       }
     }