From 7618150ea470af8a5801ae18a98e15cb4e1e23d4 Mon Sep 17 00:00:00 2001
From: mattijs <mattijs>
Date: Wed, 3 Jun 2020 16:34:02 +0100
Subject: [PATCH] ENH: fileModificationSkew: Changed default. See #1472

---
 etc/controlDict | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/etc/controlDict b/etc/controlDict
index be616aa963..bff1eec3cd 100644
--- a/etc/controlDict
+++ b/etc/controlDict
@@ -80,11 +80,11 @@ OptimisationSwitches
 
     // On NFS mounted file system: maximum wait for files to appear/get
     // updated. Set to 0 on distributed case.
-    fileModificationSkew 10;
+    fileModificationSkew 5;
 
     // How often retest (using above fileModificationSkew) before giving up.
     // Default is 1.
-    //maxFileModificationPolls 100;
+    maxFileModificationPolls 20;
 
     //- Modification checking:
     //  - timeStamp         : use modification time on file