Подешавање FSharp.Data проксија помоћу customizeHttpRequest
Подесите прокси основног HttpWebRequest-а кроз документовани параметар customizeHttpRequest у FSharp.Data.
FSharp.Data HTTP алати излажу параметар customizeHttpRequest. Прима основни HttpWebRequest и враћа захтев који треба користити:
open System.Net
open FSharp.Data
let body =
Http.RequestString(
"https://example.net/data",
customizeHttpRequest = fun request ->
request.Proxy <- WebProxy("http://proxy.example.net:8080")
request
)
Повратни позив поставља прокси на овај захтев. За овај јавни HTTPS захтев, неаутентификовани кандидат са листе HTTP проксија може заменити примерну крајњу тачку када је та рута дозвољена. Његов последњи израз враћа објекат захтева, што одговара документованом типу функције HttpWebRequest -> HttpWebRequest.
Исти параметар прилагођавања доступан је и на одговарајућим детаљним и асинхроним HTTP методама. Задржите повратни позив уз позив или помоћну функцију која може поново да се користи и којој треба ова рута. Остатак апликације може наставити да користи сопствену конфигурацију захтева.