Index: /trunk/FACT++/src/DimServerList.cc
===================================================================
--- /trunk/FACT++/src/DimServerList.cc	(revision 13673)
+++ /trunk/FACT++/src/DimServerList.cc	(revision 13674)
@@ -108,7 +108,10 @@
             if (v!=fServerList.end())
             {
-                stringstream err;
-                err << "DimServerList: Server '" << trunc << "' in list not as it ought to be.";
-                throw runtime_error(err.str());
+                RemoveServer(trunc);
+                fServerList.erase(v);
+
+                //stringstream err;
+                //err << "DimServerList: Server '" << trunc << "' in list not as it ought to be.";
+                //throw runtime_error(err.str());
             }