Socket error: Success (sic!) with doc_server/1

[Jean-Marc Vanel-2]

Hi

I'm using a frequently updated git version.
This worked a few days ago.

?- doc_server('11111').
ERROR: Socket error: Success
   Exception: (11) socket:tcp_bind('$socket'(0), '11111') ? Exception details

        Exception term: error(socket_error('Success'), _G1113)
               Message: Socket error: Success
   Exception: (11) socket:tcp_bind('$socket'(0), '11111') ?

A "Success" error is bizarre !


I even tried as root.

I also checked with
nmap -sT -p- -PT 127.0.0.1
that the port 11111 is not already used.

--
Jean-Marc Vanel
http://jmvanel.free.fr/
_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

[Jan Wielemaker]

On Wednesday 21 May 2008 14:17:55 Jean-Marc Vanel wrote:

> Hi
>
> I'm using a frequently updated git version.
> This worked a few days ago.
>
> ?- doc_server('11111').
> ERROR: Socket error: Success
>    Exception: (11) socket:tcp_bind('$socket'(0), '11111') ? Exception
> details
>
>         Exception term: error(socket_error('Success'), _G1113)
>                Message: Socket error: Success
>    Exception: (11) socket:tcp_bind('$socket'(0), '11111') ?
>
> A "Success" error is bizarre !

This never worked (AFAIK). The argument to doc_server/1 must be a port
(an integer). Ok, the error is indeed bizarre. I'll check that. Here,
PlDoc is working just fine on the latest GIT version (64-bit Linux).

> I even tried as root.
>
> I also checked with
> nmap -sT -p- -PT 127.0.0.1
> that the port 11111 is not already used.

Possibly an old one is running?  Try fuser -n tcp 11111 (if I recall
correctly)

        Cheers --- Jan

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog

[Jan Wielemaker]

On Wednesday 21 May 2008 14:30:37 Jan Wielemaker wrote:

> On Wednesday 21 May 2008 14:17:55 Jean-Marc Vanel wrote:
> > Hi
> >
> > I'm using a frequently updated git version.
> > This worked a few days ago.
> >
> > ?- doc_server('11111').
> > ERROR: Socket error: Success
> >    Exception: (11) socket:tcp_bind('$socket'(0), '11111') ? Exception
> > details
> >
> >         Exception term: error(socket_error('Success'), _G1113)
> >                Message: Socket error: Success
> >    Exception: (11) socket:tcp_bind('$socket'(0), '11111') ?
> >
> > A "Success" error is bizarre !
>
> This never worked (AFAIK). The argument to doc_server/1 must be a port
> (an integer). Ok, the error is indeed bizarre. I'll check that. Here,
> PlDoc is working just fine on the latest GIT version (64-bit Linux).

The implementation uses getservbyname() if the port is an atom, after
which it called the wrong error reporting routine.  Now:

1 ?- doc_server('11111').
ERROR: service `11111' does not exist
   Exception: (11) socket:tcp_bind('$socket'(0), '11111') ? creep

Updated docs as well.

        Cheers --- Jan

_______________________________________________
SWI-Prolog mailing list
SWI-Prolog@...
https://mailbox.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog