From e88c0d6adf3d867469556cf10b628f6b6ab2e960 Mon Sep 17 00:00:00 2001
From: "Maxim.Mossienko" <Maxim.Mossienko@jetbrains.com>
Date: Mon, 9 Jul 2012 20:22:45 +0400
Subject: [PATCH] update lastStamp once we check for version of particular
 index

---
 .../src/com/intellij/util/indexing/IndexInfrastructure.java      | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/lang-impl/src/com/intellij/util/indexing/IndexInfrastructure.java b/platform/lang-impl/src/com/intellij/util/indexing/IndexInfrastructure.java
index f6c150dbb17e..40601df5d2a1 100644
--- a/platform/lang-impl/src/com/intellij/util/indexing/IndexInfrastructure.java
+++ b/platform/lang-impl/src/com/intellij/util/indexing/IndexInfrastructure.java
@@ -102,6 +102,7 @@ public class IndexInfrastructure {
 
   public static boolean versionDiffers(final File versionFile, final int currentIndexVersion) {
     try {
+      ourLastStamp = Math.max(ourLastStamp, versionFile.lastModified());
       final DataInputStream in = new DataInputStream(new BufferedInputStream(new FileInputStream(versionFile)));
       try {
         final int savedIndexVersion = in.readInt();