From b89e65a8cae0bb0430419876f2816d3a819a7add Mon Sep 17 00:00:00 2001 From: wolf Date: Mon, 30 Sep 2002 15:03:47 +0000 Subject: [PATCH] Increase sleep interval to 20 seconds. git-svn-id: https://svn.dealii.org/trunk@6559 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/contrib/hsl/source/detached_ma27.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/contrib/hsl/source/detached_ma27.cc b/deal.II/contrib/hsl/source/detached_ma27.cc index 4c3753f9e6..c81d4ef2a8 100644 --- a/deal.II/contrib/hsl/source/detached_ma27.cc +++ b/deal.II/contrib/hsl/source/detached_ma27.cc @@ -81,7 +81,7 @@ void * monitor_thread (void *) // ok, master still running, // take a little rest and then // ask again - sleep (10); + sleep (20); }; }; -- 2.39.5