Hello there,
I was wondering about the best way to create a stream
from a remote file for which I have the URL

open Http_client
open Stream

let body = Stream.of_string Convenience.http_get
"http://dfl.sjsu.edu";;

Is the content of body downloaded completely before
being streamed(which defeats the purpose of streams)
or not? and if not how can I get the content of an URL
gradually (without getting the whole body into
memory)?

Thank you,
JD

__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com