From b60da6346fcc1f6aec0efee8cb938b1784269538 Mon Sep 17 00:00:00 2001
From: Jonathan Lambrechts <jonathan.lambrechts@uclouvain.be>
Date: Thu, 30 Jun 2011 12:58:14 +0000
Subject: [PATCH] prevent petsc to catch signals (and to shout very long
 messages on errors)

---
 Common/GmshMessage.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Common/GmshMessage.cpp b/Common/GmshMessage.cpp
index 17cc855d71..86fe9bbfef 100644
--- a/Common/GmshMessage.cpp
+++ b/Common/GmshMessage.cpp
@@ -75,6 +75,7 @@ void Msg::Init(int argc, char **argv)
 #endif
 #if defined(HAVE_PETSC)
   PetscInitialize(&argc, &argv, PETSC_NULL, PETSC_NULL);
+  PetscPopSignalHandler();
 #endif
 #if defined(HAVE_SLEPC)
   SlepcInitialize(&argc, &argv, PETSC_NULL, PETSC_NULL);
-- 
GitLab