From f33f5419dbd279999b9ac09147de08ed1e29ea9d Mon Sep 17 00:00:00 2001 From: wolf Date: Tue, 1 Oct 2002 19:49:29 +0000 Subject: [PATCH] Fix comment. git-svn-id: https://svn.dealii.org/trunk@6589 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/hsl/source/detached_ma27.cc | 4 ++-- deal.II/lac/source/sparse_direct.cc | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index 39995d79d1..96d79d5ef3 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -123,8 +123,8 @@ void die (const std::string &text, const T1 t1, const T2 t2) * still existing or has died without giving us due notice. if the * latter is the case, then also exit this process * - * check by calling "ps -p PID", where PID is the pid of the - * parent. if the return value is non-null, then ps couldn't find out + * check by calling "kill(PID,0)", where PID is the pid of the + * parent. if the return value is non-null, then kill couldn't find out * about the parent process, so it is apparently gone */ extern "C" diff --git a/deal.II/lac/source/sparse_direct.cc b/deal.II/lac/source/sparse_direct.cc index 208c33a351..c4525e040b 100644 --- a/deal.II/lac/source/sparse_direct.cc +++ b/deal.II/lac/source/sparse_direct.cc @@ -300,9 +300,9 @@ void die (const std::string &text, const T1 t1, const T2 t2) * still existing or has died without giving us due notice. if the * latter is the case, then also exit this process * - * check by calling "ps -p PID", where PID is the pid of the - * parent. if the return value is non-null, then ps couldn't find out - * about the parent process, so it is apparently gone + * check by calling "kill(PID,0)", where PID is the pid of the + * parent. if the return value is non-null, then kill couldn't find + * out about the process, so it is apparently gone */ extern "C" void monitor_child_liveness (const pid_t child_pid) -- 2.39.5