EINTR (typically, for BSD systems) would be handled by examining errno if (terror(stdin)) and restarting the read loop if (errno == EINTR). This was not implemented in ed 0.2, but in my current implementation: git://github.com/slewsys/ed.git
"Double EOF" is a bug. -AM Antonio wrote: > So maybe the "double EOF" is there to handle an interrupted "getchar", in > which case we should leave it alone. _______________________________________________ bug-ed mailing list bug-ed@gnu.org https://lists.gnu.org/mailman/listinfo/bug-ed