Re: [Bug-gnubg] Big problems with external player

[Jon Kinsey]

Joachim Matussek wrote:

> 3. external player 127.0.0.1:10000                     # entered manually... 
> cannot be scripted

Is the player bit correct?  I've just started looking at this for the 
first time and the code seems to expect:
        external 127.0.0.1:10000

With this command I do get the error (accept: No such file or 
directory), so can look at what is happening.

Jon