>>>>> "Andreas" == Andreas Bernauer <email@example.com> writes:
>> >>>>> "Michal" == Michal Maru¹ka <firstname.lastname@example.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 <email@example.com> 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?