diff -r ea05b52a278f -r 1d460912fbb7 Debugger/DebugUI.py
--- a/Debugger/DebugUI.py Sat May 09 14:10:59 2015 +0200
+++ b/Debugger/DebugUI.py Fri May 15 18:38:52 2015 +0200
@@ -1079,10 +1079,11 @@
filename = os.path.join(self.project.getProjectPath(),
filename)
else:
- d = os.path.dirname(
- self.project.getMainScript(normalized=True))
- if os.path.exists(os.path.join(d, filename)):
- filename = os.path.join(d, filename)
+ ms = self.project.getMainScript(normalized=True)
+ if ms is not None:
+ d = os.path.dirname(ms)
+ if os.path.exists(os.path.join(d, filename)):
+ filename = os.path.join(d, filename)
self.viewmanager.setFileLine(filename, lineNo, True, True)
E5MessageBox.critical(
self.ui, Program,
