diff -r 04e5dfbd3f3d -r 3586ebd9fac8 DebugClients/Python/coverage/plugin_support.py
--- a/DebugClients/Python/coverage/plugin_support.py Sat Jul 23 13:33:54 2016 +0200
+++ b/DebugClients/Python/coverage/plugin_support.py Sun Jul 24 12:01:01 2016 +0200
@@ -3,12 +3,15 @@
"""Support for plugins."""
+import os
import os.path
import sys
-from coverage.misc import CoverageException
+from coverage.misc import CoverageException, isolate_module
from coverage.plugin import CoveragePlugin, FileTracer, FileReporter
+os = isolate_module(os)
+
class Plugins(object):
"""The currently loaded collection of coverage.py plugins."""
@@ -242,3 +245,6 @@
ret = list(self.reporter.source_token_lines())
self.debug.write("source_token_lines() --> %d tokens" % (len(ret),))
return ret
+
+#
+# eflag: FileType = Python2
