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