eric: diff DebugClients/Python/coverage/collector.py

diff: DebugClients/Python/coverage/collector.py

DebugClients/Python/coverage/collector.py

branch: 6_1_x
changeset 4606: da303ad1474e
parent 4491: 0d8612e24fef
child 5051: 3586ebd9fac8