patch for hugs-dec2001

Sigbjorn Finne sof@galois.com
Mon, 6 May 2002 11:43:12 -0700


 "Sean O'Rourke" <educated_foo@yahoo.com> writes:
>
> In a couple of places, fgetc()'s return value gets cast to a char before
being
> compared with EOF.  The one in input.c makes things hang on my machine.  I
> attached a couple of diffs that fix my problem.
>

Thanks, this bug unfortunately made it out the door with the December
release.
CVS repository version contains a variant of the fix you made.

>
> btw, readline support is a glorious thing...
>

So I hear -  try running the configure script with --with-readline


--sigbjorn