From: wolf Date: Tue, 1 Oct 2002 17:06:51 +0000 (+0000) Subject: Clean up message. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f5e92aeafc53b577ab5c7a4f2f2c9a56dec4e24c;p=dealii-svn.git Clean up message. git-svn-id: https://svn.dealii.org/trunk@6579 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index a06486023c..9fa004877a 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -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