if (last_modified <= cache_last_modified) continue;
}
- std::cout << "modified:" << id << std::endl;
+// std::cout << "modified:" << id << std::endl;
ThreadIdx idx = ThreadIdx::from_xml(leaf);
if (idx.last_modified_.empty()) continue;
ThreadIdxCache& cache = caches[id];