Yuta HIGUCHI

IntentManager: give each thread a uniq name in ThreadPool

Change-Id: I64c2e45aba3ae65a747271d02d1d9b83bcfc848c
......@@ -133,7 +133,7 @@ public class IntentManager
trackerService.setDelegate(topoDelegate);
batchService.setDelegate(batchDelegate);
eventDispatcher.addSink(IntentEvent.class, listenerRegistry);
executor = newFixedThreadPool(NUM_THREADS, namedThreads("onos-intent"));
executor = newFixedThreadPool(NUM_THREADS, namedThreads("onos-intent-%d"));
idGenerator = coreService.getIdGenerator("intent-ids");
Intent.bindIdGenerator(idGenerator);
log.info("Started");
......