]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Increase sleep interval to 20 seconds.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 30 Sep 2002 15:03:47 +0000 (15:03 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 30 Sep 2002 15:03:47 +0000 (15:03 +0000)
git-svn-id: https://svn.dealii.org/trunk@6559 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/contrib/hsl/source/detached_ma27.cc

index 4c3753f9e627af1c2baa34ff507c85e70ee00f6d..c81d4ef2a844fcd2d55bc0be8c628f213d5d8767 100644 (file)
@@ -81,7 +81,7 @@ void * monitor_thread (void *)
                                        // ok, master still running,
                                        // take a little rest and then
                                        // ask again
-      sleep (10);
+      sleep (20);
     };
 };
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.