Add missing header

[lyx.git] / src / support / os.cpp

diff --git a/src/support/os.cpp b/src/support/os.cpp
index a18637c7724a8bc84c649f2cf67167fe819860ac..b1537e3655984d7d5def27a44d74d7b6e2de33a3 100644 (file)
--- 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