From bd3250f52bbf23fc68680a392fb1493e808d239b Mon Sep 17 00:00:00 2001 From: Brown Date: Thu, 1 Nov 2018 16:02:44 -0400 Subject: [PATCH] Bust caches when config changes --- src/Psalm/Provider/ClassLikeStorageCacheProvider.php | 2 +- src/Psalm/Provider/FileStorageCacheProvider.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Psalm/Provider/ClassLikeStorageCacheProvider.php b/src/Psalm/Provider/ClassLikeStorageCacheProvider.php index 642f17112..88cd5a4ed 100644 --- a/src/Psalm/Provider/ClassLikeStorageCacheProvider.php +++ b/src/Psalm/Provider/ClassLikeStorageCacheProvider.php @@ -43,7 +43,7 @@ class ClassLikeStorageCacheProvider $this->modified_timestamps .= ' ' . filemtime($dependent_file_path); } - $this->modified_timestamps .= PSALM_VERSION; + $this->modified_timestamps .= PSALM_VERSION . $this->config->modified_time; } /** diff --git a/src/Psalm/Provider/FileStorageCacheProvider.php b/src/Psalm/Provider/FileStorageCacheProvider.php index 22e05b906..50b69d469 100644 --- a/src/Psalm/Provider/FileStorageCacheProvider.php +++ b/src/Psalm/Provider/FileStorageCacheProvider.php @@ -44,7 +44,7 @@ class FileStorageCacheProvider $this->modified_timestamps .= ' ' . filemtime($dependent_file_path); } - $this->modified_timestamps .= PSALM_VERSION; + $this->modified_timestamps .= PSALM_VERSION . $this->config->modified_time; } /**