да, это неплохой вариант, если это именно так работает. но тогда есть другая проблема, в пуле прокси накопилось много лишнего, не нужных прокси, которые 100% не рабочие, как от них избавиться? я не хочу, чтобы они чекались по кругу раз за разом. достаточно ли для этого удалить источники, с которых они взяты?