From: wolf Date: Mon, 30 Sep 2002 15:03:47 +0000 (+0000) Subject: Increase sleep interval to 20 seconds. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b89e65a8cae0bb0430419876f2816d3a819a7add;p=dealii-svn.git Increase sleep interval to 20 seconds. git-svn-id: https://svn.dealii.org/trunk@6559 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 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); }; };