// 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();
}
}
/////////////////////////////////////////////////
private void Index()
{
if (ThisScheduler.ContainsByTag("KonqBookmark"))
{
Log.Debug("Not adding task for already running KonqBookmark task");
return;
}
BookmarkIndexableGenerator generator = new BookmarkIndexableGenerator(this, bookmark_file, last_modified_table, false);
Scheduler.Task task;
task = NewAddTask(generator);
task.Tag = "KonqBookmark";
task.Priority = Scheduler.Priority.Delayed;
task.SubPriority = 0;
ThisScheduler.Add(task);
}
/////////////////////////////////////////////////
private void Index ()
{
if (ThisScheduler.ContainsByTag ("KonqBookmark")) {
Log.Debug ("Not adding task for already running KonqBookmark task");
return;
}
BookmarkIndexableGenerator generator = new BookmarkIndexableGenerator (this, bookmark_file, last_modified_table, false);
Scheduler.Task task;
task = NewAddTask (generator);
task.Tag = "KonqBookmark";
task.Priority = Scheduler.Priority.Delayed;
task.SubPriority = 0;
ThisScheduler.Add (task);
}
// 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 ();
}