changeset 5610:d69ea1ff4ce3

Add the zero, *then* flush, when reading integers for the #N=... syntax. src/ChangeLog addition: 2011-12-10 Aidan Kehoe <kehoea@parhasard.net> * lread.c (read1): Add the zero, *then* flush, when reading an integer into Vread_buffer_stream.
author Aidan Kehoe <kehoea@parhasard.net>
date Sat, 10 Dec 2011 16:17:49 +0000
parents 3152c2c21461
children d489e88450aa
files src/ChangeLog src/lread.c
diffstat 2 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/ChangeLog	Fri Dec 09 08:38:07 2011 +0000
+++ b/src/ChangeLog	Sat Dec 10 16:17:49 2011 +0000
@@ -1,3 +1,8 @@
+2011-12-10  Aidan Kehoe  <kehoea@parhasard.net>
+
+	* lread.c (read1): Add the zero, *then* flush, when reading an
+	integer into Vread_buffer_stream.
+
 2011-12-04  Aidan Kehoe  <kehoea@parhasard.net>
 
 	* Makefile.in.in (objs):
--- a/src/lread.c	Fri Dec 09 08:38:07 2011 +0000
+++ b/src/lread.c	Sat Dec 10 16:17:49 2011 +0000
@@ -2710,9 +2710,9 @@
 		  c = readchar (readcharfun);
 		}
 
-	      Lstream_flush (XLSTREAM (Vread_buffer_stream));
 	      /* blasted terminating 0 */
 	      Lstream_put_ichar (XLSTREAM (Vread_buffer_stream), 0);
+	      Lstream_flush (XLSTREAM (Vread_buffer_stream));
 
 	      parsed
 		= parse_integer (resizing_buffer_stream_ptr