diff -r d0d6e4ad31bd -r 3f58261e7bb1 DebugClients/Python/coverage/files.py
--- a/DebugClients/Python/coverage/files.py Sun Oct 04 22:37:56 2015 +0200
+++ b/DebugClients/Python/coverage/files.py Sun Oct 04 22:54:47 2015 +0200
@@ -58,7 +58,7 @@
for path in [os.curdir] + sys.path:
if path is None:
continue
- f = os.path.join(path, filename)
+ f = path + os.sep + filename
if os.path.exists(f):
filename = f
break
@@ -114,7 +114,7 @@
if os.path.normcase(f) == normtail:
tail = f
break
- actpath = os.path.join(head, tail)
+ actpath = head.strip(os.sep) + os.sep + tail
_ACTUAL_PATH_CACHE[path] = actpath
return actpath
@@ -349,4 +349,7 @@
# files: Must end with .py or .pyw, and must not have certain funny
# characters that probably mean they are editor junk.
if re.match(r"^[^.#~!$@%^&*()+=,]+\.pyw?$", filename):
- yield os.path.join(dirpath, filename)
+ yield dirpath + os.sep + filename
+
+#
+# eflag: FileType = Python2
