--- a/src/Pure/System/cygwin_init.scala Fri Sep 06 22:28:28 2013 +0200
+++ b/src/Pure/System/cygwin_init.scala Sat Sep 07 00:02:19 2013 +0200
@@ -22,7 +22,7 @@
{
/* main GUI entry point */
- def main_frame(isabelle_home: String, start: => Unit) = new MainFrame
+ def main_frame(isabelle_home: String, continue: Int => Unit) = new MainFrame
{
title = "Isabelle system initialization"
iconImage = new ImageIcon(isabelle_home + "\\lib\\logo\\isabelle.gif").getImage
@@ -52,11 +52,9 @@
{
_return_code match {
case None =>
- case Some(0) =>
+ case Some(rc) =>
visible = false
- Simple_Thread.fork("Isabelle") { start }
- case Some(rc) =>
- sys.exit(rc)
+ continue(rc)
}
}