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

diff: DebugClients/Python/coverage/main.py

DebugClients/Python/coverage/main.py

branch: 6_1_x
changeset 4848: 36b1d9bec8f6
parent 4491: 0d8612e24fef