1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 14:42:11 +02:00

Don't update index timestamp if nothing has changed.

This commit is contained in:
Sergey Prigogin 2012-03-19 19:27:28 -07:00
parent 54b5e33af4
commit cc1209d029

View file

@ -956,7 +956,8 @@ public class PDOM extends PlatformObject implements IPDOM {
CCorePlugin.log(e);
}
assert lockCount == -1;
lastWriteAccess= System.currentTimeMillis();
if (!fEvent.isTrivial())
lastWriteAccess= System.currentTimeMillis();
final ChangeEvent event= fEvent;
fEvent= new ChangeEvent();
synchronized (mutex) {