kill a socket

Peter Halacsy <[email protected]> Mon, 03 Mar 2008 11:08:00 +0100
Newsgroups gmane.comp.lang.ocaml.lib.net.devel
Message-ID <[email protected]>
Hello,

I use httpclient to create something similar to the example called 
spider (downloading a lot of urls)

I've three problems

1. if I use a pipeline with a length of 1500, I got Segmentation Fault . 
With max 1000 connection everything works fine

2. At the end  of running I see two connections not closed by the 
library (I use Http_client.connection_timeout = 5.0). There is no way to 
kill the connections.

3. Is there any way to ask httpclient not to download pages larger then 
a given limit?

peter


-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/