]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Clean up message.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 17:06:51 +0000 (17:06 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Tue, 1 Oct 2002 17:06:51 +0000 (17:06 +0000)
git-svn-id: https://svn.dealii.org/trunk@6579 0785d39b-7218-0410-832d-ea1e28bc413d

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

index a06486023c204a65c772d3d747e13dd1d0e3ee2a..9fa004877afa13ac9a323dd76cf23da78ce55261 100644 (file)
@@ -148,10 +148,10 @@ void monitor_parent_liveness (const pid_t master_pid)
     {
       int ret = std::system (command);
       if (ret < 0)
-        die ("detached_ma27: Monitor process couldn't start 'ps'!");
+        die ("Monitor process couldn't start 'ps'!");
       else
         if (ret != 0)
-          die ("---- detached_ma27: Master process seems to have died!");
+          die ("Master process seems to have died!");
 
                                        // ok, master still running,
                                        // take a little rest and then

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.