--- plugins/org.python.pydev.debug/src/org/python/pydev/debug/ui/PythonConsoleLineTracker.java.orig 2018-06-25 10:15:44.816065992 +0100
+++ plugins/org.python.pydev.debug/src/org/python/pydev/debug/ui/PythonConsoleLineTracker.java 2018-06-25 10:17:58.101557206 +0100
@@ -161,8 +161,10 @@
mappedResources = launchConfiguration.getMappedResources();
if (mappedResources != null && mappedResources.length > 0) {
this.project = mappedResources[0].getProject();
- this.workingDirectory = PythonRunnerConfig.getWorkingDirectory(launchConfiguration,
- PythonNature.getPythonNature(project));
+ org.python.pydev.core.IPythonNature nature = PythonNature.getPythonNature(project);
+ if (nature != null) {
+ this.workingDirectory = PythonRunnerConfig.getWorkingDirectory(launchConfiguration, nature);
+ }
}
} catch (Exception e) {
Log.log(e);