diff --git a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java index 0ba3ec31b8fbb8b175a36deb35106bbb1e16fc71..693fd4998c73300c2e5abfb12a2af8948d45adc8 100644 --- a/src/main/java/de/uni_hamburg/corpora/gui/GUI.java +++ b/src/main/java/de/uni_hamburg/corpora/gui/GUI.java @@ -130,6 +130,7 @@ public class GUI { "Info", JOptionPane.INFORMATION_MESSAGE); try { + // Download jar BufferedInputStream in = new BufferedInputStream(new URL(FILE_URL).openStream()); BufferedOutputStream out = new BufferedOutputStream(new FileOutputStream("lib/corpus-services.jar")); in.transferTo(out); @@ -139,6 +140,8 @@ public class GUI { "Download successful. You now have to restart the application.", "Success", JOptionPane.INFORMATION_MESSAGE); + // End application + System.exit(0); } catch (IOException e) { //custom title, error icon JOptionPane.showMessageDialog(window,