Function ThreadPools_Destroy

src/util/thpool/pools.c:209–218

}

void ThreadPools_Destroy
(
	void
) {
	ASSERT(_readers_thpool != NULL);
	ASSERT(_writers_thpool != NULL);

	thpool_destroy(_readers_thpool);
	thpool_destroy(_writers_thpool);
}