changeset 4199 | a3839426cbcf |
parent 4078 | b7a4464057c6 |
child 5160 | ba06e617dd3f |
--- a/FilteringStream.st Mon Nov 07 11:49:01 2016 +0100 +++ b/FilteringStream.st Tue Nov 08 09:24:51 2016 +0100 @@ -1,5 +1,3 @@ -"{ Encoding: utf8 }" - " COPYRIGHT (c) 1996 by Claus Gittinger All Rights Reserved @@ -404,6 +402,10 @@ !FilteringStream methodsFor:'misc'! +clearEOF + ^ inputStream clearEOF +! + close "when I am closed, close my input - if any"