Change `OS_channel_read' and `OS_channel_write' to be interruptable,
authorChris Hanson <org/chris-hanson/cph>
Thu, 21 Jun 1990 20:02:06 +0000 (20:02 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 21 Jun 1990 20:02:06 +0000 (20:02 +0000)
commit474112c4ff9b647917a8cd72f648b9b2b18e397d
treeaca341e069037df4fa366985581f016b7a52ffbc
parent12abdf0505069e1c4c0496cdf7eeece5278b26fe
Change `OS_channel_read' and `OS_channel_write' to be interruptable,
so that any I/O can be interrupted by the user typing ^G.  Fix minor
thinko in `OS_channel_close' that caused the console I/O channels to
be marked as closed even though they were still open.
v7/src/microcode/osio.h
v7/src/microcode/uxio.c
v7/src/microcode/uxterm.c
v7/src/microcode/uxtty.c
v7/src/microcode/version.h
v8/src/microcode/version.h