On Wed, 10 Apr 2002, Sebastien WILLEMIJNS wrote:

> there are a bug :)
>
> "curl -x 210.10.115.130 www.willemijns.com" works
>
> "curl -x 210.10.115.130:1080 www.willemijns.com" not works :)
> reply is:
> curl: (52) Empty reply from server

You're right, the default port wasn't set as documented! Thanks for
reporting.

It probably tells something about the default port, the fact that you are the
first to report this and it probably haven't worked for years... :-)

Anyway, I fixed this just now.

-- 
    Daniel Stenberg -- curl groks URLs -- http://curl.haxx.se/