1
2
3
4

if url.[0..1] = "//"' then


    .....

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

let DownloadUrlToFile(purl: string, url: string, file: string) =
    let uri = if (not <| Regex.Match(url, CommonDefs.RegExprHttp).Success) then 
                    let puri = new Uri(purl)
                    let leftChars: char[] = url.ToCharArray(0, 2)
                    if (leftChars.[0] = '/' && leftChars.[1] = '/') then  
                        puri.Scheme + ":" + url
                    else     
                        puri.Scheme + "://" + puri.Host + url
              else url
    let req: HttpWebRequest = WebRequest.Create(new Uri(uri)) :?> HttpWebRequest
    req.UseDefaultCredentials <- true
    req.KeepAlive <- false
    use stream = req.GetResponse().GetResponseStream()
    use fileStream = File.OpenWrite(file)
    let mutable buff: byte[] = Array.zeroCreate(CommonDefs.BuffSize)
    let mutable lenRead = stream.Read(buff, 0, CommonDefs.BuffSize)
    while (lenRead > 0) do 
        fileStream.Write(buff, 0, lenRead)
        lenRead <- stream.Read(buff, 0, CommonDefs.BuffSize)