]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Fix comment.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 19:49:29 +0000 (19:49 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 19:49:29 +0000 (19:49 +0000)
git-svn-id: https://svn.dealii.org/trunk@6589 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/contrib/hsl/source/detached_ma27.cc
deal.II/lac/source/sparse_direct.cc

index 39995d79d1c2407c82c32d0a07271327b8f390bd..96d79d5ef3b5e50982249607db37086bede0df82 100644 (file)
@@ -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"
index 208c33a3516f0043d46e96dae94763714737d3d2..c4525e040b2b1883a25f4eb2ddb211c8a0bcaa04 100644 (file)
@@ -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) 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.