X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Fsupport%2Fos.cpp;h=b1537e3655984d7d5def27a44d74d7b6e2de33a3;hb=8e4648f38c2b6051832faf2e31e280ba36e3184a;hp=a18637c7724a8bc84c649f2cf67167fe819860ac;hpb=775466100f068d8ab24015a9600319e85191d892;p=lyx.git

diff --git a/src/support/os.cpp b/src/support/os.cpp
index a18637c772..b1537e3655 100644
--- a/src/support/os.cpp
+++ b/src/support/os.cpp
@@ -11,6 +11,7 @@
 
 #include <config.h>
 
+#include "debug.h"
 #include "filetools.h"
 #include "qstring_helpers.h"
 
@@ -53,10 +54,20 @@ static string const python2(string const & binary, bool verbose = false)
 }
 
 
-string const python()
+int timeout_min()
 {
+	return 3;
+}
+
+
+string const python(bool reset)
+{
+	// FIXME THREAD
 	// Check whether the first python in PATH is the right one.
 	static string command = python2("python -tt");
+	if (reset) {
+		command = python2("python -tt");
+	}
 
 	if (command.empty()) {
 		// It was not, so check whether we can find it elsewhere in