From: wolf Date: Fri, 27 Sep 2002 22:12:23 +0000 (+0000) Subject: Better error reporting and fix one bug. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5ee3710fb3a9eaa78b23c8ed47f385705949693e;p=dealii-svn.git Better error reporting and fix one bug. git-svn-id: https://svn.dealii.org/trunk@6550 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 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); }; };