comparison TOOLS/mphelp_check.py @ 33718:b4c4ee25269f

Signal EOF vs. error also via streaming control API (not yet evaluated).
author reimar
date Mon, 04 Jul 2011 19:10:17 +0000
parents 9065db6f98d9
children 8715803f09e8
comparison
equal deleted inserted replaced
33717:6ef02828040f 33718:b4c4ee25269f