# HG changeset patch
# User wenzelm
# Date 1378568593 -7200
# Node ID c531db09368025d842db715241dc6eed3876a95d
# Parent  26c609ada983ad81afb49dba5b2b8edd4baa7ee6
observe "stopped" after Cygwin init (which is itself uninterruptible);

diff -r 26c609ada983 -r c531db093680 src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Sat Sep 07 17:32:55 2013 +0200
+++ b/src/Pure/Tools/main.scala	Sat Sep 07 17:43:13 2013 +0200
@@ -132,6 +132,11 @@
         }
       }
       catch { case exn: Throwable => exit_error(exn) }
+
+      if (system_dialog.stopped) {
+        system_dialog.return_code(130)
+        system_dialog.join_exit
+      }
     }
 
     build