Catch exceptions to please coverity

[features.git] / src / Server.cpp

diff --git a/src/Server.cpp b/src/Server.cpp
index 8953c78dc34153b7d592bbc890dc5ccf44a7eb46..64e2af15d3aab0645a3afd45d43ad6e1825152ff 100644 (file)
--- a/src/Server.cpp
+++ b/src/Server.cpp
@@ -1067,7 +1067,10 @@ Server::~Server()
        string message;
        for (int i = 0; i != numclients_; ++i) {
                message = "LYXSRV:" + clients_[i] + ":bye\n";
-               pipes_.send(message);
+               // ignore exceptions, we are quitting anyway
+               try {
+                       pipes_.send(message);
+               } catch (...) {}
        }
 }