From f5e92aeafc53b577ab5c7a4f2f2c9a56dec4e24c Mon Sep 17 00:00:00 2001 From: wolf Date: Tue, 1 Oct 2002 17:06:51 +0000 Subject: [PATCH] Clean up message. git-svn-id: https://svn.dealii.org/trunk@6579 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/hsl/source/detached_ma27.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.39.5