Changeset 13674

Timestamp:

05/12/12 12:44:01 (13 years ago)

Author:

tbretz

Message:

It seems there is another thing not handled very well by dim if a server crashes; removed the exception and added proper handling of that case.

File:

• trunk/FACT++/src/DimServerList.cc (modified) (1 diff)

trunk/FACT++/src/DimServerList.cc

@@ -108 +108 @@
             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());
             }