From 5ee3710fb3a9eaa78b23c8ed47f385705949693e Mon Sep 17 00:00:00 2001 From: wolf Date: Fri, 27 Sep 2002 22:12:23 +0000 Subject: [PATCH] Better error reporting and fix one bug. git-svn-id: https://svn.dealii.org/trunk@6550 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/hsl/source/detached_ma27.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index da873f1a71..b2a7fa8288 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -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); }; }; -- 2.39.5