Adding settings to usedsettings when tuner hits timeout

[satune.git] / src / Tuner / basictuner.cc

diff --git a/src/Tuner/basictuner.cc b/src/Tuner/basictuner.cc
index 8ec104c63cde19403e85c401df373d8bb4bd8403..7d08098148c4db28c5c92b5eb495b42ab45d98eb 100644 (file)
--- a/src/Tuner/basictuner.cc
+++ b/src/Tuner/basictuner.cc
@@ -182,7 +182,10 @@ long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
                updateTimeout(problem, metric);
                snprintf(buffer, sizeof(buffer), "tuner%uused", execnum);
                tuner->getTuner()->addUsed(buffer);
+       } else if (status == 124 << 8){ // timeout happens ...
+               tuner->getTuner()->copySettingstoUsedSettings();
        }
+       
        //Increment execution count
        execnum++;