# HG changeset patch # User wenzelm # Date 1357409116 -3600 # Node ID 38114719a9bc56fa3ee5ad3770638265ad4a4694 # Parent 20e6e1a92e54bf6863945fae4f28b1a95f65acaa premature window close means failure; diff -r 20e6e1a92e54 -r 38114719a9bc src/Pure/Tools/build_dialog.scala --- a/src/Pure/Tools/build_dialog.scala Sat Jan 05 18:42:29 2013 +0100 +++ b/src/Pure/Tools/build_dialog.scala Sat Jan 05 19:05:16 2013 +0100 @@ -67,7 +67,7 @@ /* GUI state */ private var is_stopped = false - private var return_code = 0 + private var return_code = 2 override def closeOperation { sys.exit(return_code) }