wip

derreisende77 · derreisende77 · commit 7e0ff5c25dce · 2025-05-20T13:56:41.000+02:00
diff --git a/src/main/java/mediathek/mainwindow/MediathekGui.java b/src/main/java/mediathek/mainwindow/MediathekGui.java
@@ -1210,7 +1210,7 @@ private void shutdownTimerPool() {
         try {
             TimerPool.getRepeatingTimerFuture().cancel(true);
             timerPool.shutdown();
-            if (!timerPool.awaitTermination(2, TimeUnit.SECONDS)) {
+            if (!timerPool.awaitTermination(500, TimeUnit.MILLISECONDS)) {
                 if (Config.isDebugModeEnabled()) {
                     logger.warn("Time out occured before pool final termination");
                 }

Original file line number	Diff line number	Diff line change
`@@ -1210,7 +1210,7 @@ private void shutdownTimerPool() {`
`1210`	`1210`	`try {`
`1211`	`1211`	`TimerPool.getRepeatingTimerFuture().cancel(true);`
`1212`	`1212`	`timerPool.shutdown();`
`1213`		`- if (!timerPool.awaitTermination(2, TimeUnit.SECONDS)) {`
	`1213`	`+ if (!timerPool.awaitTermination(500, TimeUnit.MILLISECONDS)) {`
`1214`	`1214`	`if (Config.isDebugModeEnabled()) {`
`1215`	`1215`	`logger.warn("Time out occured before pool final termination");`
`1216`	`1216`	`}`