gf_es_needs_buffering  394 src/terminal/channel.c 	if (!gf_es_needs_buffering(ch, 0)) {
gf_es_needs_buffering 1722 src/terminal/channel.c 	if (!ch->IsEndOfStream && gf_es_needs_buffering(ch, 1)) {