1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Add more information if page state is not correct.

This commit is contained in:
Jan Lindström
2015-03-10 14:05:57 +02:00
parent f7d196bb2e
commit c8035da9b8
2 changed files with 13 additions and 0 deletions

View File

@@ -275,6 +275,12 @@ buf_page_set_state(
}
#endif /* UNIV_DEBUG */
bpage->state = state;
#ifdef UNIV_DEBUG
if( buf_page_get_state(bpage) != state) {
fprintf(stderr, "InnoDB: Error: Requested state %d current state %d old_state %d\n",
state, buf_page_get_state(bpage), old_state);
}
#endif
ut_ad(buf_page_get_state(bpage) == state);
}

View File

@@ -277,7 +277,14 @@ buf_page_set_state(
break;
}
#endif /* UNIV_DEBUG */
bpage->state = state;
#ifdef UNIV_DEBUG
if( buf_page_get_state(bpage) != state) {
fprintf(stderr, "InnoDB: Error: Requested state %d current state %d old_state %d\n",
state, buf_page_get_state(bpage), old_state);
}
#endif
ut_ad(buf_page_get_state(bpage) == state);
}