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

diff: DebugClients/Python/coverage/main.py

DebugClients/Python/coverage/main.py

branch: debugger fine grinding
changeset 5657: 0f4257c1abcb
parent 5178: 878ce843ca9f