是否有一种方法或特殊curl
选项可以在使用时识别无连接情况curlGetResponse_
?
例如,有一些curl
-命令:
withCurlDo $ respBody <$> (curlGetResponse_ "google.com" [CurlFailOnError True] ∷ IO (CurlResponse_ [(String, String)] ByteString))
如果有到主机的连接,它会返回一些IO ByteString
.
但如果没有任何连接,则需要 40 秒并返回空字符串。
Left
当连接丢失且主机无法访问时,有没有办法抛出异常或某些值?