Re: http_open vs. http_get using proxy



Jan,

Thanks for looking at that.

The result from test it is:

2 ?- testit.
ERROR: Domain error: `sgml_option' expected, found `proxy(proxy03,
8080)'
^ Exception: (20) sgml:sgml_parse(sgml_parser(523660),
[document(_G3419), source('$stream'(447404)), content_length(221),
syntax_errors(quiet), max_errors(-1), proxy(proxy03, 8080)]) ?

If that helps any.

Best Regards,
Mans

.