Yes, thanks for making this a separate patch.
(I'm trusting you on the error code :-)
Correct error code for curl operation timeout
---------------------------------------------
> builes.adolfo@googlemail.com**20100810215522
> Ignore-this: 26067bd441b2b7fabaadce67851f0ef9
> ] hunk ./src/URL.hs 315
> case errorNum of
> 6 -> return $ Just CouldNotResolveHost
> 7 -> return $ Just CouldNotConnectToServer
> - 29 -> return $ Just OperationTimeout
> + 28 -> return $ Just OperationTimeout
> _ -> return Nothing
> else
> return Nothing
>
--
Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow>
For a faster response, please try +44 (0)1273 64 2905.
|