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