# HG changeset patch
# User nadvornik
# Date 1230317647 0
# Node ID 9dae588b8d5ee5819ab70a025fbefbdaf7697d60
# Parent  3e5f52382573f22aa6aa5e9727d9e21d5d1ff15d
remove cached entries on all changes

diff -r 3e5f52382573 -r 9dae588b8d5e src/filecache.c
--- a/src/filecache.c	Fri Dec 26 17:38:52 2008 +0000
+++ b/src/filecache.c	Fri Dec 26 18:54:07 2008 +0000
@@ -180,7 +180,7 @@
 {
 	FileCacheData *fc = data;
 
-	if (type == NOTIFY_TYPE_REREAD)
+	if (type != NOTIFY_TYPE_INTERNAL) /* invalidate the entry on each file change */
 		{
 		file_cache_remove_fd(fc, fd);
 		}