+ expecting_stream_ids.erase(stream_id);
+ }
+
+ // Warn about any servers we've lost.
+ // TODO: Make an option (delete=yes?) to actually shut down streams.
+ for (set<string>::const_iterator stream_it = expecting_stream_ids.begin();
+ stream_it != expecting_stream_ids.end();
+ ++stream_it) {
+ fprintf(stderr, "WARNING: stream '%s' disappeared from the configuration file.\n",
+ stream_it->c_str());
+ fprintf(stderr, " It will not be deleted, but clients will not get any new inputs.\n");