mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 09:03:31 +07:00
EDU-437 Throwable at com.jetbrains.python.debugger.pydev.RemoteDebugger.removeTempBreakpoint
This commit is contained in:
@@ -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;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user