util/cxx_config/main.cc

232         unsigned int drain_count = 1;
234             drain_count = config_manager->drain();
236             std::cerr << "Draining " << drain_count << '\n';
238             if (drain_count > 0) {
241         } while (drain_count > 0);
284         unsigned int drain_count = 1;
286             drain_count = config_manager->drain();
288             std::cerr << "Draining " << drain_count << '\n';
290             if (drain_count > 0) {
293         } while (drain_count > 0);