public override DirCache ReadDirCache ()
{
DirCache dc = null;
if (dirCacheRef != null)
dc = dirCacheRef.Target as DirCache;
if (dc != null) {
DateTime wt = File.GetLastWriteTime (GetIndexFile ());
if (wt == dirCacheTimestamp)
return dc;
}
dirCacheTimestamp = File.GetLastWriteTime (GetIndexFile ());
dc = base.ReadDirCache ();
dirCacheRef = new WeakReference (dc);
return dc;
}
}