diff -r c190cd71b097 -r 2c0ea0163ef4 DebugClients/Python/coverage/execfile.py --- a/DebugClients/Python/coverage/execfile.py Fri Dec 31 15:45:32 2010 +0100 +++ b/DebugClients/Python/coverage/execfile.py Fri Dec 31 15:46:14 2010 +0100 @@ -47,4 +47,7 @@ # Restore the old argv and path sys.argv = old_argv - sys.path[0] = old_path0 \ No newline at end of file + sys.path[0] = old_path0 + +# +# eflag: FileType = Python2