last minute fix for patch #7262
commitb9e192701cb42c0f03e0b962a2eb9e25af428788
authorspiralvoice <spiralvoice>
Sun, 1 Aug 2010 13:49:31 +0000 (1 13:49 +0000)
committerspiralvoice <spiralvoice>
Sun, 1 Aug 2010 13:49:31 +0000 (1 13:49 +0000)
tree446eaf8341ae8de84a5bdc47671fec3f9e36c42b
parented30e536bed9aaf564d058a38f384949161d15d1
last minute fix for patch #7262
src/utils/net/http_client.ml