From 9f81a1393e40ff0f45d9d77314e91e657b36d725 Mon Sep 17 00:00:00 2001
From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Tue, 1 Oct 2002 18:59:05 +0000
Subject: [PATCH] Remove old code.

git-svn-id: https://svn.dealii.org/trunk@6585 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/lac/source/sparse_direct.cc | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/deal.II/lac/source/sparse_direct.cc b/deal.II/lac/source/sparse_direct.cc
index 938fa204d7..932311b651 100644
--- a/deal.II/lac/source/sparse_direct.cc
+++ b/deal.II/lac/source/sparse_direct.cc
@@ -22,12 +22,6 @@
 #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))
-- 
2.39.5