report SIGSEGV in ghs3d

diff --git a/src/GHS3DPlugin_GHS3D.cxx b/src/GHS3DPlugin_GHS3D.cxx
index 87433884af13fc1f4cc5426f6f205f81702aae19..6393c23e1e684c61c3b64f5c4eaacf5385b6f133 100644 (file)
--- a/src/GHS3DPlugin_GHS3D.cxx
+++ b/src/GHS3DPlugin_GHS3D.cxx
@@ -1987,6 +1987,12 @@ bool GHS3DPlugin_GHS3D::storeErrorDescription(const TCollection_AsciiString& log
     char msg[] = "connection to server failed";
     if ( search( &buf[0], bufEnd, msg, msg + strlen(msg)) != bufEnd )
       errDescription << "Licence problems.";
+    else
+    {
+      char msg2[] = "SEGMENTATION FAULT";
+      if ( search( &buf[0], bufEnd, msg2, msg2 + strlen(msg2)) != bufEnd )
+        errDescription << "ghs3d: SEGMENTATION FAULT. ";
+    }
   }
 
   if ( errDescription.empty() )