]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Better error reporting and fix one bug.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 27 Sep 2002 22:12:23 +0000 (22:12 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 27 Sep 2002 22:12:23 +0000 (22:12 +0000)
git-svn-id: https://svn.dealii.org/trunk@6550 0785d39b-7218-0410-832d-ea1e28bc413d

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

index da873f1a71b8315cc25e5247ca1a70f1bf417e07..b2a7fa82882fb10daf6cfd00ae87e5de743ff966 100644 (file)
@@ -65,14 +65,14 @@ void * monitor_thread (void *)
       int ret = std::system (command);
       if (ret < 0)
         {
-          std::cerr << "---- Monitor process couldn't start 'ps'!"
+          std::cerr << "---- detached_ma27: Monitor process couldn't start 'ps'!"
                     << std::endl;
           std::abort ();
         }
       else
         if (ret != 0)
           {
-            std::cerr << "---- Master process seems to have died!"
+            std::cerr << "---- detached_ma27: Master process seems to have died!"
                       << std::endl;
             std::abort ();
           };
@@ -80,7 +80,7 @@ void * monitor_thread (void *)
                                        // ok, master still running,
                                        // take a little rest and then
                                        // ask again
-      std::sleep (10);
+      sleep (10);
     };
 };
 

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.