From f287980c736eb40a3f549c3729c7eb2610528066 Mon Sep 17 00:00:00 2001
From: "Lange, Dr. Herbert" <herbert.lange@uni-hamburg.de>
Date: Fri, 5 Aug 2022 18:09:58 +0200
Subject: [PATCH] close application after download
---
src/main/java/de/uni_hamburg/corpora/gui/GUI.java | 3 +++
1 file changed, 3 insertions(+)
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 0ba3ec3..693fd49 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,
--
GitLab