Merge origin/master

This commit is contained in:
Jindra Petřík
2016-02-27 10:31:49 +01:00
2 changed files with 14 additions and 0 deletions

View File

@@ -2245,6 +2245,14 @@ public class Main {
}
}
Thread.setDefaultUncaughtExceptionHandler(new Thread.UncaughtExceptionHandler() {
@Override
public void uncaughtException(Thread t, Throwable e) {
logger.log(Level.SEVERE, "Uncaught exception in thread: " + t.getName(), e);
}
});
Formatter formatterTxt = new LogFormatter();
if (fileTxt != null) {
fileTxt.setFormatter(formatterTxt);