Use a more flexible curl function to make HTTP requests.
authorMichael Orlitzky <michael@orlitzky.com>
Fri, 13 Apr 2012 02:24:34 +0000 (22:24 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Fri, 13 Apr 2012 02:24:34 +0000 (22:24 -0400)
commitbfe49b970e83f1d422d57ece7cebdfe7a56b817c
tree2e3eb8a50cb9bfe618bfc6edc2c25d07e61d90f0
parent2377a9b1c3de67278d0956683bb0dffc47117092
Use a more flexible curl function to make HTTP requests.
Pass some default options to curl, hopefully fixing a DNS issue.
A little documentation cleanup.
src/Twitter/Http.hs