equal
deleted
inserted
replaced
130 |
130 |
131 if (uninitialized) cygwin_init(system_dialog, isabelle_home, cygwin_root) |
131 if (uninitialized) cygwin_init(system_dialog, isabelle_home, cygwin_root) |
132 } |
132 } |
133 } |
133 } |
134 catch { case exn: Throwable => exit_error(exn) } |
134 catch { case exn: Throwable => exit_error(exn) } |
|
135 |
|
136 if (system_dialog.stopped) { |
|
137 system_dialog.return_code(130) |
|
138 system_dialog.join_exit |
|
139 } |
135 } |
140 } |
136 |
141 |
137 build |
142 build |
138 val rc = system_dialog.join |
143 val rc = system_dialog.join |
139 if (rc == 0) start else sys.exit(rc) |
144 if (rc == 0) start else sys.exit(rc) |