X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fsupport%2FSystemcallPrivate.h;h=6ab479f73c329fd5b68a786b9cd6a608c478e9a2;hb=7b0f9d95248820bc70b820dd6b558de4a6713bae;hp=5aac5431ef703ad80fb533d4f3fef6da3b9cd833;hpb=306b136cc005a1aeb9a6861ee0ac6fe2a2dd53e3;p=lyx.git

diff --git a/src/support/SystemcallPrivate.h b/src/support/SystemcallPrivate.h
index 5aac5431ef..6ab479f73c 100644
--- a/src/support/SystemcallPrivate.h
+++ b/src/support/SystemcallPrivate.h
@@ -24,7 +24,7 @@ class Systemcall;
 
 /**
  * Outputs to the console terminal the line buffered standard output and
- * error of a spawned process when there is a controlling terminal and 
+ * error of a spawned process when there is a controlling terminal and
  * stdout/stderr have not been redirected.
  */
 class SystemcallPrivate : public QObject
@@ -40,23 +40,27 @@ public:
 		Starting,
 		Running,
 		Finished,
-		Error
+		Error,
+		Killed
 	};
 	State state;
 
 	bool waitWhile(State, bool processEvents, int timeout = -1);
 	void startProcess(QString const & cmd, std::string const & path,
 	                  std::string const & lpath, bool detach);
-	
+
 	int exitCode();
 
 	QString errorMessage() const;
 	QString exitStatusMessage() const;
 
 	QProcess* releaseProcess();
-	
+
 	static void killProcess(QProcess * p);
 
+	// when true, kill any running script ASAP
+	static bool kill_script;
+
 
 public Q_SLOTS:
 	void stdOut();
@@ -93,8 +97,11 @@ private:
 
 	void waitAndProcessEvents();
 	void processEvents();
-	void killProcess();	
+	void killProcess();
 
+	/// returns false if we killed the process
+	/// actually returns Systemcall::ReturnValue
+	bool waitAndCheck();
 };
 
 } // namespace support