diff -r fcab21c80811 -r 127d0fe00c77 Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py
--- a/Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py Sat Apr 09 16:34:05 2016 +0200
+++ b/Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py Sat Apr 09 18:48:11 2016 +0200
@@ -117,11 +117,14 @@
It is called when the process finished or
the user pressed the button.
"""
- if self.process is not None and \
- self.process.state() != QProcess.NotRunning:
- self.process.terminate()
- QTimer.singleShot(2000, self.process.kill)
- self.process.waitForFinished(3000)
+ if self.process is not None:
+ if self.process.state() != QProcess.NotRunning:
+ self.process.terminate()
+ QTimer.singleShot(2000, self.process.kill)
+ self.process.waitForFinished(3000)
+ if self.process.exitStatus() == QProcess.CrashExit:
+ self.contents.insertPlainText(
+ self.tr('\n{0} crashed.\n').format(self.cmdname))
self.buttonBox.button(QDialogButtonBox.Close).setEnabled(True)
self.buttonBox.button(QDialogButtonBox.Cancel).setEnabled(False)
