void FactGui::UnsubscribeAllServices ( const string &  server )

inlineprivate

Definition at line 430 of file FactGui.h.

References i.

    {
        for (map<string,DimInfo*>::iterator i=fServices.begin();
             i!=fServices.end(); i++)
            if (i->first.substr(0, server.length()+1)==server+'/')
            {
                delete i->second;
                fServices.erase(i);
            }
    }