From 4541a190dfac42f690d6258732a96e2df5b38e83 Mon Sep 17 00:00:00 2001 From: wolf Date: Tue, 1 Oct 2002 19:51:00 +0000 Subject: [PATCH] Debug. git-svn-id: https://svn.dealii.org/trunk@6591 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/lac/source/sparse_direct.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/deal.II/lac/source/sparse_direct.cc b/deal.II/lac/source/sparse_direct.cc index 0a46a9e04d..a42c4186a8 100644 --- a/deal.II/lac/source/sparse_direct.cc +++ b/deal.II/lac/source/sparse_direct.cc @@ -309,6 +309,8 @@ void monitor_child_liveness (const pid_t child_pid) { while (true) { + std::cerr << "+++ monitoring child " << child_pid << std::endl; + int ret = kill (child_pid, 0); if (ret != 0) if ((ret == -1) && (errno == ESRCH)) -- 2.39.5