Subject: Re: end_of_file and get_char/2

From: Jan Wielemaker <[email-masked]>
Date: Sun, 7 May 2000 12:48:21 +0200

> The problem is that get_file_contents is not terminating. When the
> stream is at the end, get_char is not unifying X with the atom
> end_of_file as described in the standard. Instead it is being
> unified to the character ÿ, and keeps reding this character forever,
> without seeing the end of the stream.

Thanks.  Please find the fix in

http://gollem.swi.psy.uva.nl/cgi-bin/pl-cvsweb/src/pl-fli.c?r1=1.57&r2=1.58

Which will appear in the 3.3.7 release.

	Regards --- Jan