Re: revival of "Channel closed N N"

[Martin Gasbichler <gasbichl@informatik.uni-tuebingen.de>]

>>>>> "Andreas" == Andreas Bernauer <andreas.bernauer@gmx.de> writes:

>> >>>>> "Michal" == Michal Maru¹ka <mmc@maruska.dyndns.org> writes:
Michal> I am getting these messages (see subject, N is digit) (on stderr i 
think). Am i
Michal> doing something wrong?
>> 

Andreas> Rolf-Thomas Happe <rthappe@mathematik.uni-freiburg.de> responds:

>> Reminder - probably superfluous, but anyway:  The CALL-WITH-INPUT/
>> /OUTPUT-FILE procedures, when applicable, do these menial jobs
>> (open files, close ports) for you, serving both comfort and silence.

Andreas> I tried using CALL-WITH-INPUT-FILE with scsh 0.6.2 and 0.6.3, but I
Andreas> still get the message "Channel closed: N N". I even explicitly close
Andreas> the port in the proc of CALL-WITH-INPUT-FILE. What am I doing wrong?

CALL-WITH-INPUT-FILE should close the port so this is probably a
problem within the I/O system. Could you send me your code?

-- 
Martin