--- 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