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

diff: DebugClients/Python/coverage/main.py

DebugClients/Python/coverage/main.py

branch: 6_0_x
changeset 4245: ac30e37b242d
parent 3499: f2d4b02c7e88
child 4489: d0d6e4ad31bd