]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Remove old code.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 18:59:05 +0000 (18:59 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
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/contrib/hsl/source/detached_ma27.cc
deal.II/lac/source/sparse_direct.cc

index 2d13382083c3c47282e5aa279a71f01c5c0dc5f5..3e84c53e5a609398bc7d924410e383c975f4e6cb 100644 (file)
 #include <signal.h>
 #include <sys/types.h>
 
-#ifdef HAVE_STD_STRINGSTREAM
-#  include <sstream>
-#else
-#  include <strstream>
-#endif
-
 #ifndef DEAL_II_USE_DIRECT_ERRNO_H
 #  include <errno.h>
 #else
@@ -135,19 +129,8 @@ void die (const std::string &text, const T1 t1, const T2 t2)
 extern "C"
 void monitor_parent_liveness (const pid_t master_pid) 
 {
-// #ifdef HAVE_STD_STRINGSTREAM
-//   std::ostringstream s;
-//   s << "ps -p " << master_pid;
-//   const char * const command = s.str().c_str();
-// #else
-//   std::ostrstream s;
-//   s << "ps -p " << master_pid << std::ends;
-//   const char * const command = s.str();
-// #endif
-  
   while (true)
     {
-//      int ret = std::system (command);
       int ret = kill (master_pid, 0);
       if (ret != 0)
         if ((ret == -1) && (errno == ESRCH))
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.