Searched refs:filteredTids (Results 1 – 1 of 1) sorted by relevance
721 final int[] filteredTids = filtered.toArray(); in cleanUpSession() local722 if (filteredTids.length == 0) { in cleanUpSession()728 session.setThreadsInternal(filteredTids, false); in cleanUpSession()