diff -r fd5ee85f0450 -r 281c9b30dd91 Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py
--- a/Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py Fri Jul 05 19:39:15 2013 +0200
+++ b/Plugins/DocumentationPlugins/Ericdoc/EricdocExecDialog.py Sat Jul 06 15:48:58 2013 +0200
@@ -80,7 +80,7 @@
self.setWindowTitle(self.trUtf8('{0} - {1}').format(self.cmdname, self.filename))
self.process.start(program, args)
- procStarted = self.process.waitForStarted()
+ procStarted = self.process.waitForStarted(5000)
if not procStarted:
E5MessageBox.critical(self,
self.trUtf8('Process Generation Error'),
