use system independent path

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 c8cb537f4edbd048e5ccfd82422929f06509ff23..4eaa5021815673c8207c259291c6173198633c08 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.io.FileUtil;
 import com.intellij.openapi.vfs.VfsUtil;
 import com.intellij.openapi.vfs.VirtualFile;
 import com.intellij.ui.content.Content;
@@ -86,7 +87,7 @@ public class PyEduDebugRunner extends PyDebugRunner {
     }
     RunProfile runProfile = environment.getRunProfile();
     if (runProfile instanceof PythonRunConfiguration) {
-      return ((PythonRunConfiguration)runProfile).getScriptName();
+      return FileUtil.toSystemIndependentName(((PythonRunConfiguration)runProfile).getScriptName());
     }
     return null;
   }