កំណត់ប្រូកស៊ី FSharp.Data ដោយ customizeHttpRequest
កំណត់ប្រូកស៊ីរបស់ HttpWebRequest មូលដ្ឋានតាមរយៈប៉ារ៉ាម៉ែត្រ customizeHttpRequest ដែលបានចងក្រងរបស់ FSharp.Data។
ឧបករណ៍ HTTP របស់ FSharp.Data ផ្តល់ប៉ារ៉ាម៉ែត្រ 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 លម្អិត និងអសមកាលដែលពាក់ព័ន្ធដែរ។ រក្សាអនុគមន៍ហៅត្រឡប់ជាមួយការហៅ ឬជំនួយដែលអាចប្រើឡើងវិញដែលត្រូវការផ្លូវនេះ។ ផ្នែកដទៃទៀតនៃកម្មវិធីអាចបន្តប្រើការកំណត់សំណើរបស់ខ្លួន។