Esempio n. 1
0
        // 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 ();
		}