TP: internal thread pool is not shut down ----------------------------------------- Key: JGRP-2196 URL: https://issues.jboss.org/browse/JGRP-2196 Project: JGroups Issue Type: Bug Reporter: Bela Ban Assignee: Bela Ban Fix For: 4.0.4 In {{TP.destroy()}}, the regular thread pool and timer are shut down, but not the intrnal thread pool. Also use a separate thread factory for internal threads, so we can see by the naming whether a thread is regular or internal, e.g. "jgroups-23" (regular) versus "jgroups-int-33"