DebugClients/Python3/coverage/plugin_support.py

branch
debugger speed
changeset 5174
8c48f5e0cd92
parent 5051
3586ebd9fac8
diff -r fb9168c2e069 -r 8c48f5e0cd92 DebugClients/Python3/coverage/plugin_support.py
--- a/DebugClients/Python3/coverage/plugin_support.py	Thu Sep 15 21:49:13 2016 +0200
+++ b/DebugClients/Python3/coverage/plugin_support.py	Sun Sep 18 21:35:53 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."""

eric ide

mercurial