diff --git a/lib/util.php b/lib/util.php index 4ca84ba75a..c49e7cfc23 100755 --- a/lib/util.php +++ b/lib/util.php @@ -62,7 +62,7 @@ class OC_Util { OC_Filesystem::tearDown(); self::$fsSetup=false; } - + public static function loadUserMountPoints($user) { $user_dir = '/'.$user.'/files'; $user_root = OC_User::getHome($user); @@ -74,14 +74,14 @@ 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::triggerUpdate($user); OC_Preferences::setValue($user,'files','mountconfigmtime',$mtime); } - } + } } /** @@ -429,7 +429,7 @@ class OC_Util { } return true; } - + /** * Redirect to the user default page */