diff --git a/plugins/org.python.pydev.debug/plugin.xml b/plugins/org.python.pydev.debug/plugin.xml index 505a1d99a..4f903b492 100644 --- a/plugins/org.python.pydev.debug/plugin.xml +++ b/plugins/org.python.pydev.debug/plugin.xml @@ -246,7 +246,6 @@ - 0) { //there is already some path - curr += "|" + newPath; + SortedSet projectSourcePathSet = new TreeSet(pathNature.getProjectSourcePathSet(true)); + if (!projectSourcePathSet.contains(newPath)) { + //only add to the path if it doesn't already contain the new path + curr += "|" + newPath; + } } else { //there is still no other path curr = newPath;