shut up annoying InnoDB warning when --gdb

f7dcd8a0 · Sergei Golubchik · b8dfedd7 · f7dcd8a0
Commit f7dcd8a0 authored Oct 23, 2016 by Sergei Golubchik
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

storage/innobase/buf/buf0flu.cc storage/innobase/buf/buf0flu.cc +2 -1

No files found.
--- a/storage/innobase/buf/buf0flu.cc
+++ b/storage/innobase/buf/buf0flu.cc
@@ -3237,7 +3237,8 @@ DECLARE_THREAD(buf_flush_page_cleaner_coordinator)(
 		if (ret_sleep == OS_SYNC_TIME_EXCEEDED) {
 			ulint	curr_time = ut_time_ms();

-			if (curr_time > next_loop_time + 3000) {
+			if (curr_time > next_loop_time + 3000
+			    && !(test_flags & TEST_SIGINT)) {
 				if (warn_count == 0) {
 					ib::info() << "page_cleaner: 1000ms"
 						" intended loop took "