diff Copyright @ 32736:a25f55874cdd

Improve EOF handling in ds_fill_buffer for the case where one stream ends much earlier than the others, in particular make sure the "too many ..." message is not printed over and over.
author reimar
date Thu, 27 Jan 2011 20:37:51 +0000
parents 85f0d7406e07
children c1a590bb2441
line wrap: on
line diff