--- a/DebugClients/Python/coverage/parser.py Tue Jan 04 18:18:38 2011 +0100 +++ b/DebugClients/Python/coverage/parser.py Tue Jan 04 18:44:51 2011 +0100 @@ -741,4 +741,7 @@ return arc_width, arc_chars if __name__ == '__main__': - AdHocMain().main(sys.argv[1:]) \ No newline at end of file + AdHocMain().main(sys.argv[1:]) + +# +# eflag: FileType = Python2