From 72f7b1ea7d2218f0f7933bddeb5b31b1296c2ed0 Mon Sep 17 00:00:00 2001
From: Juanjo Garcia-Ripoll <jjgarcia@users.sourcerforge.net>
Date: Fri, 3 Feb 2012 18:29:53 +0100
Subject: [PATCH] Propagate UNREAD-CHAR from an ECHO-STREAM to its actual input
 stream (R. M. Kreuter)

---
 src/c/file.d | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/c/file.d b/src/c/file.d
index d13d4ea3e..69a907188 100755
--- a/src/c/file.d
+++ b/src/c/file.d
@@ -2051,6 +2051,7 @@ echo_read_char(cl_object strm)
 			ecl_write_char(c, ECHO_STREAM_OUTPUT(strm));
 	} else {
 		strm->stream.last_code[0] = EOF;
+		ecl_read_char(ECHO_STREAM_INPUT(strm));
 	}
 	return c;
 }
@@ -2068,6 +2069,7 @@ echo_unread_char(cl_object strm, ecl_character c)
 		unread_twice(strm);
 	}
 	strm->stream.last_code[0] = c;
+	ecl_unread_char(c, ECHO_STREAM_INPUT(strm));
 }
 
 static ecl_character