]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix comment.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 1 Oct 2002 19:49:29 +0000 (19:49 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
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/lac/source/sparse_direct.cc

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.