EDU-437 Throwable at com.jetbrains.python.debugger.pydev.RemoteDebugger.removeTempBre...

diff --git a/python/edu/src/com/jetbrains/python/edu/debugger/PyEduDebugRunner.java b/python/edu/src/com/jetbrains/python/edu/debugger/PyEduDebugRunner.java
index 4eaa5021815673c8207c259291c6173198633c08..6cb431688bea32afb6f290e0f20a3e87e5a28b06 100644 (file)
--- a/python/edu/src/com/jetbrains/python/edu/debugger/PyEduDebugRunner.java
+++ b/python/edu/src/com/jetbrains/python/edu/debugger/PyEduDebugRunner.java
@@ -20,6 +20,7 @@ import com.intellij.openapi.fileEditor.FileDocumentManager;
 import com.intellij.openapi.module.ModuleManager;
 import com.intellij.openapi.project.Project;
 import com.intellij.openapi.projectRoots.Sdk;
+import com.intellij.openapi.util.SystemInfo;
 import com.intellij.openapi.util.io.FileUtil;
 import com.intellij.openapi.vfs.VfsUtil;
 import com.intellij.openapi.vfs.VirtualFile;
@@ -87,7 +88,8 @@ public class PyEduDebugRunner extends PyDebugRunner {
     }
     RunProfile runProfile = environment.getRunProfile();
     if (runProfile instanceof PythonRunConfiguration) {
-      return FileUtil.toSystemIndependentName(((PythonRunConfiguration)runProfile).getScriptName());
+      String name = FileUtil.toSystemIndependentName(((PythonRunConfiguration)runProfile).getScriptName());
+      return SystemInfo.isWindows ? name.toLowerCase() : name;
     }
     return null;
   }