/// <summary>
/// Begin downloading the file at the specified url, and save it to the given folder.
/// </summary>
public void Download(string url, string destFolder)
{
DownloadData data = null;
this.canceled = false;
try
{
// get download details
data = DownloadData.Create(url, destFolder, this.proxy);
// Find out the name of the file that the web server gave us.
string destFileName = Path.GetFileName(data.Response.ResponseUri.ToString());
// The place we're downloading to (not from) must not be a URI,
// because Path and File don't handle them...
destFolder = destFolder.Replace("file:///", "").Replace("file://", "");
this.downloadingTo = Path.Combine(destFolder, destFileName);
// Create the file on disk here, so even if we don't receive any data of the file
// it's still on disk. This allows us to download 0-byte files.
if (!File.Exists(downloadingTo))
{
FileStream fs = File.Create(downloadingTo);
fs.Close();
}
// create the download buffer
byte[] buffer = new byte[downloadBlockSize];
int readCount;
// update how many bytes have already been read
long totalDownloaded = data.StartPoint;
bool gotCanceled = false;
while ((int)(readCount = data.DownloadStream.Read(buffer, 0, downloadBlockSize)) > 0)
{
// break on cancel
if (canceled)
{
gotCanceled = true;
data.Close();
break;
}
// update total bytes read
totalDownloaded += readCount;
// save block to end of file
SaveToFile(buffer, readCount, this.downloadingTo);
// send progress info
if (data.IsProgressKnown)
{
RaiseProgressChanged(totalDownloaded, data.FileSize);
}
// break on cancel
if (canceled)
{
gotCanceled = true;
data.Close();
break;
}
}
if (!gotCanceled)
{
OnDownloadComplete();
}
}
catch (UriFormatException e)
{
throw new ArgumentException(
String.Format("Could not parse the URL \"{0}\" - it's either malformed or is an unknown protocol.", url), e);
}
finally
{
if (data != null)
{
data.Close();
}
}
}
///// <summary>
///// Begin downloading the file at the specified url, and save it to the current fileName.
///// </summary>
//public void Download(string url)
//{
// Download(url, "");
//}
/// <summary>
/// Begin downloading the file at the specified url, and save it to the given fileName.
/// </summary>
public void Download(string url, string hostName, string destFileName, int timeout)
{
DownloadData data = null;
this.canceled = false;
try
{
// get download details
data = DownloadData.Create(url, hostName, destFileName, timeout);
//// Find out the name of the file that the web server gave us.
//string destFileName = Path.GetFileName(data.Response.ResponseUri.ToString());
// create the download buffer
byte[] buffer = new byte[downloadBlockSize];
int readCount;
// update how many bytes have already been read
long totalDownloaded = data.StartPoint;
bool gotCanceled = false;
while ((int)(readCount = data.DownloadStream.Read(buffer, 0, downloadBlockSize)) > 0)
{
// break on cancel
if (this.canceled)
{
gotCanceled = true;
break;
}
// update total bytes read
totalDownloaded += readCount;
// save block to end of file
SaveToFile(buffer, readCount, data.DownloadingToStream);
// send progress info
if (data.IsProgressKnown)
{
RaiseProgressChanged(totalDownloaded, data.FileSize);
}
// break on cancel
if (this.canceled)
{
gotCanceled = true;
break;
}
}
// stream could be incomplete
if (data.IsProgressKnown)
{
if (totalDownloaded < data.FileSize)
{
throw new WebException("date transfer not completed", WebExceptionStatus.ConnectionClosed);
}
}
if (!gotCanceled)
{
RaiseProgressChanged(data.FileSize, data.FileSize);
data.CleanOnFinish();
OnDownloadComplete();
}
}
catch (UriFormatException e)
{
throw new ArgumentException(
String.Format("Could not parse the URL \"{0}\" - it's either malformed or is an unknown protocol.", url), e);
}
finally
{
if (data != null)
{
data.Close();
}
}
}
