1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Bug#14251529 : FIX FOR BUG 13704145 CREATES POSSIBLE RACE CONDITION

make buf_read_page_low() to treat DB_TABLESPACE_DELETED error correctly
rb#1129 approved by Inaam
This commit is contained in:
Yasufumi Kinoshita
2012-06-29 12:04:44 +09:00
parent 247262347e
commit 6058319dba
4 changed files with 70 additions and 6 deletions

View File

@ -1162,9 +1162,10 @@ buf_page_init_for_read(
ulint offset);/*!< in: page number */
/********************************************************************//**
Completes an asynchronous read or write request of a file page to or from
the buffer pool. */
the buffer pool.
@return TRUE if successful */
UNIV_INTERN
void
ibool
buf_page_io_complete(
/*=================*/
buf_page_t* bpage); /*!< in: pointer to the block in question */