Exit loop upon SIG_INT

nicolasvasilache · nicolasvasilache · commit bb78adb0a18a · 2018-06-13T16:00:57.000-06:00
diff --git a/tc/autotuner/autotuner-inl.h b/tc/autotuner/autotuner-inl.h
@@ -458,6 +458,7 @@ Autotuner<Backend, SearchStrategy>::tune(
     std::this_thread::sleep_for(std::chrono::milliseconds(100));
     if (sigint_) {
       tuningHarness.stopAfterCurrentIteration();
+      break;
     }
     if (sigterm_) {
       std::cerr << "Autotuning aborted." << std::endl;

Original file line number	Diff line number	Diff line change
`@@ -458,6 +458,7 @@ Autotuner<Backend, SearchStrategy>::tune(`
`458`	`458`	`std::this_thread::sleep_for(std::chrono::milliseconds(100));`
`459`	`459`	`if (sigint_) {`
`460`	`460`	`tuningHarness.stopAfterCurrentIteration();`
	`461`	`+ break;`
`461`	`462`	`}`
`462`	`463`	`if (sigterm_) {`
`463`	`464`	`std::cerr << "Autotuning aborted." << std::endl;`