From: wolf Date: Tue, 1 Oct 2002 19:51:00 +0000 (+0000) Subject: Debug. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4541a190dfac42f690d6258732a96e2df5b38e83;p=dealii-svn.git Debug. git-svn-id: https://svn.dealii.org/trunk@6591 0785d39b-7218-0410-832d-ea1e28bc413d --- 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))