// We need to scan the bookmark file nitially to fill up last_modified_table
// Otherwise, we might miss deletions that occur before any addition
private void ScanBookmarkInitial()
{
BookmarkIndexableGenerator generator = new BookmarkIndexableGenerator(this, bookmark_file, last_modified_table, true);
// just a dummy scan
while (generator.HasNextIndexable())
{
generator.GetNextIndexable();
}
}
// We need to scan the bookmark file nitially to fill up last_modified_table
// Otherwise, we might miss deletions that occur before any addition
private void ScanBookmarkInitial ()
{
BookmarkIndexableGenerator generator = new BookmarkIndexableGenerator (this, bookmark_file, last_modified_table, true);
// just a dummy scan
while (generator.HasNextIndexable ())
generator.GetNextIndexable ();
}