Named a Thread without name for easier monitoring

pull/108/head
luccioman 8 years ago
parent 9a5a124bf2
commit 08de58b6d3

@ -1397,7 +1397,7 @@ public final class SearchEvent {
success = true;
}
} else {
Thread t = new Thread() {
Thread t = new Thread("SearchEvent.drainStacksToResult.oneFilteredFromRWI") {
@Override
public void run() {
SearchEvent.this.oneFeederStarted();

Loading…
Cancel
Save