#include <config.h>
+#include "debug.h"
#include "filetools.h"
#include "qstring_helpers.h"
}
-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