ngb/zeichenmaschine
1
0
Fork 0
mirror of https://github.com/jneug/zeichenmaschine.git synced 2026-04-14 06:33:34 +02:00
Code Issues Packages Projects Releases 1 Wiki Activity

Namen der Threads gesetzt, für leichteres Debugging

Browse Source
This commit is contained in:
ngb
2022-07-07 09:20:01 +02:00
parent 1e552d6bc2
commit 49ad98fd82
2 changed files with 19 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/schule/ngb/zm/Zeichenmaschine.java
View File

@@ -1278,6 +1278,11 @@ public class Zeichenmaschine extends Constants {
class Zeichenthread extends Thread {
public Zeichenthread() {
super(Zeichenthread.class.getSimpleName());
//super(APP_NAME + " " + APP_VERSION);
}
@Override
public final void run() {
// Wait for full initialization before start

23
src/schule/ngb/zm/tasks/TaskRunner.java
View File

@@ -1,10 +1,9 @@
package schule.ngb.zm.tasks;
import schule.ngb.zm.util.Log;
import javax.swing.*;
import java.util.concurrent.Executors;
import java.util.concurrent.ScheduledExecutorService;
import java.util.concurrent.ThreadFactory;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.*;
import java.util.logging.Logger;
/**
@@ -26,14 +25,19 @@ public class TaskRunner {
return runner;
}
public static void run( Runnable task ) {
public static Future<?> run( Runnable task ) {
TaskRunner r = getTaskRunner();
r.pool.execute(task);
return r.pool.submit(task);
}
public static void schedule( Runnable task, int ms ) {
public static <T> Future<T> run( Runnable task, T result ) {
TaskRunner r = getTaskRunner();
r.pool.schedule(task, ms, TimeUnit.MILLISECONDS);
return r.pool.submit(task, result);
}
public static Future<?> schedule( Runnable task, int ms ) {
TaskRunner r = getTaskRunner();
return r.pool.schedule(task, ms, TimeUnit.MILLISECONDS);
}
public static void invokeLater( Runnable task ) {
@@ -65,12 +69,13 @@ public class TaskRunner {
@Override
public Thread newThread( Runnable r ) {
Thread t = threadFactory.newThread(r);
t.setName("TaskRunner-" + t.getName());
t.setDaemon(true);
return t;
}
});
}
private static final Logger LOGGER = Logger.getLogger(TaskRunner.class.getName());
private static final Log LOG = Log.getLogger(TaskRunner.class);
}