private void LoadData()
{
nextResources.Clear();
if (download.RemoteFileInfo.MimeType.IndexOf("text/html", StringComparison.OrdinalIgnoreCase) < 0)
{
return;
}
try
{
DownloadManager.Instance.OnBeginAddBatchDownloads();
using (Stream htmlStream = File.OpenRead(download.LocalFile))
{
using (HtmlParser parser = new HtmlParser(htmlStream))
{
AddUrls(parser.GetHrefs(context.BaseLocation), UrlType.Href);
AddUrls(parser.GetImages(context.BaseLocation), UrlType.Img);
AddUrls(parser.GetFrames(context.BaseLocation), UrlType.Frame);
AddUrls(parser.GetIFrames(context.BaseLocation), UrlType.IFrame);
}
}
}
finally
{
DownloadManager.Instance.OnEndAddBatchDownloads();
}
}
private void FillListFromHtmlFile(List<ResourceLocation> urls)
{
using (Stream htmlStream = File.OpenRead(txtFileName.Text))
{
using (HtmlParser parser = new HtmlParser(htmlStream))
{
IEnumerator<Uri> enumUri = parser.GetHrefs(this.location1.ResourceLocation.URL).GetEnumerator();
while (enumUri.MoveNext())
{
ResourceLocation newRl = location1.ResourceLocation;
newRl.URL = enumUri.Current.OriginalString;
urls.Add(newRl);
}
}
}
}