Mercurial Repositories > eric / file diff

--- 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)