diff options
author | Jose <jose@zeroc.com> | 2013-08-29 22:39:04 +0200 |
---|---|---|
committer | Jose <jose@zeroc.com> | 2013-08-29 22:39:04 +0200 |
commit | 553a111bdcae53ef9dfe4b7953c4a2b19063629c (patch) | |
tree | 499ce5b4fbc40ccebbcc7f9e9eca69187d372e0d /java/src/IceGridGUI/Main.java | |
parent | Improvements to Metrics Table Layout - related to ICE-5408 (diff) | |
download | ice-553a111bdcae53ef9dfe4b7953c4a2b19063629c.tar.bz2 ice-553a111bdcae53ef9dfe4b7953c4a2b19063629c.tar.xz ice-553a111bdcae53ef9dfe4b7953c4a2b19063629c.zip |
Improvements to IceGridGUI javafx fallback mechanism
Diffstat (limited to 'java/src/IceGridGUI/Main.java')
-rw-r--r-- | java/src/IceGridGUI/Main.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/Main.java b/java/src/IceGridGUI/Main.java index d77ef9eb34b..3ab451d77fc 100644 --- a/java/src/IceGridGUI/Main.java +++ b/java/src/IceGridGUI/Main.java @@ -69,6 +69,7 @@ public class Main extends JFrame e.toString(), "Initialization failed", JOptionPane.ERROR_MESSAGE); + System.exit(1); } } }); |