/* rawchar.c 4.1 83/03/09 */
* get a character from the terminal, with no line buffering.
if (_pb_front
&& _on2648
) {
fprintf(trace
, "%s from queue, front=%d, back=%d\n", rdchar(c
), _pb_front
-_pushback
, _pb_back
-_pushback
);
if (_pb_front
> _pb_back
) {
_pb_front
= _pb_back
= NULL
;
fprintf(trace
, "reset pushback to null\n");
fprintf(trace
, "rawchar '%s'\n", rdchar(c
));