#5 readline() doesn't work

[david Moss]

Pop11's readline() function will not wait until the end
of input before reading, instead it will try to grab
the first line of text that goes into stdin. This is,
unfortunately, most likely to be the next line of pop11
code to be compiled. You can see the problem here...
This will be worked around by adding a new definition
for readline() in org/jpop/io/init/pop11.p

TODO:
To fix this a change to /org/jpop/io/init/pop11.p has
to be made that redefines readline() for a function
that displays some input field where the line is to be
read from, rather than relying in input taken from stdin.

[david Moss]

Logged In: YES
user_id=255387

For the time being readline() has been redefined to an empty
function to disable it.