clear user filecache after the user mount configuration has changed

1 files changed, 7 insertions, 0 deletions

diff --git a/lib/util.php b/lib/util.php
index 42a0f5c7df1..1dcf7c2cbfa 100755
--- a/lib/util.php
+++ b/lib/util.php
@@ -58,6 +58,13 @@ class OC_Util {
 						OC_Filesystem::mount($options['class'], $options['options'], $mountPoint);
 					}
 				}
+
+				$mtime=filemtime($user_root.'/mount.php');
+				$previousMTime=OC_Preferences::getValue($user,'files','mountconfigmtime',0);
+				if($mtime>$previousMTime){//mount config has changed, filecache needs to be updated
+					OC_FileCache::clear($user);
+					OC_Preferences::setValue($user,'files','mountconfigmtime',$mtime);
+				}
 			}
 			OC_Hook::emit('OC_Filesystem', 'setup', array('user' => $user, 'user_dir' => $user_dir));
 		}