]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Remove old code.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 1 Oct 2002 18:59:05 +0000 (18:59 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 1 Oct 2002 18:59:05 +0000 (18:59 +0000)
git-svn-id: https://svn.dealii.org/trunk@6585 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/lac/source/sparse_direct.cc

index 938fa204d72eded99f53dd18d5a8186c7cca46d6..932311b6513b15b4817321ba3146cd9aaf0d0738 100644 (file)
 #include <list>
 #include <typeinfo>
 
-#ifdef HAVE_STD_STRINGSTREAM
-#  include <sstream>
-#else
-#  include <strstream>
-#endif
-
 #include <sys/wait.h>
 #include <sys/types.h>
 #include <signal.h>
@@ -313,24 +307,8 @@ void die (const std::string &text, const T1 t1, const T2 t2)
 extern "C"
 void monitor_child_liveness (const pid_t child_pid) 
 {
-// #ifdef HAVE_STD_STRINGSTREAM
-//   std::ostringstream s;
-//   s << "ps -p " << child_pid;
-//   const char * const command = s.str().c_str();
-// #else
-//   std::ostrstream s;
-//   s << "ps -p " << child_pid << std::ends;
-//   const char * const command = s.str();
-// #endif
-  
   while (true)
     {
-//       int ret = std::system (command);
-//       if (ret < 0)
-//         die ("Monitor process couldn't start 'ps'!");
-//       else
-//         if (ret != 0)
-//           die ("Child process seems to have died!");
       int ret = kill (child_pid, 0);
       if (ret != 0)
         if ((ret == -1) && (errno == ESRCH))

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.