diff -r 04e5dfbd3f3d -r 3586ebd9fac8 DebugClients/Python3/coverage/plugin_support.py
--- a/DebugClients/Python3/coverage/plugin_support.py Sat Jul 23 13:33:54 2016 +0200
+++ b/DebugClients/Python3/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."""
