In the new version (upcoming release), we are renaming the current Http.Request
to Http.RequestString
and the current Http.RequestDetailed
to Http.Request
. This is a breaking change, but we thing it makes much more sense (and fits better with standard .NET naming). If you just want to copy the old file, you can always get the older version of the code from the appropriate branch on GitHub (e.g. Http.fs @ tag v1.1.10).
However, I think that supporting HTTP proxies would be a great addition to the library. So the best thing to do would be to fork the project to your GitHub, add the feature and submit a pull request! I think that just adding an optional ?proxy
parameter to the two methods and propagating the information to the underlying HttpWebRequest
would be the best way to do this.
The only tricky thing is that Http.Request
should work on multiple versions of .NET (including Windows Phone, Silverlight, etc.) so you may need to check which of them actually support specifying the proxy.
If you do not have the time for helping out, then please submit a GitHub issue.