changeset 24720 | 1f02c362969c |
parent 24719 | 22c0d19e7761 |
child 25137 | 34bca3daadac |
--- a/NonPositionableExternalStream.st Tue Sep 03 09:57:12 2019 +0200 +++ b/NonPositionableExternalStream.st Tue Sep 03 09:58:38 2019 +0200 @@ -297,6 +297,9 @@ setCommandString:dummyString "dummy for PipeStream compatibility" + "/ intentionally ignore here + ^ self + "Created: / 29-10-2018 / 18:06:44 / Claus Gittinger" ! !