diff options
| author | Marko Mäkelä <marko.makela@mariadb.com> | 2020-02-14 11:03:11 +0200 |
|---|---|---|
| committer | Marko Mäkelä <marko.makela@mariadb.com> | 2020-02-14 11:03:11 +0200 |
| commit | d901919db2e9faf8f9ef77b0d38e8db6c47e5e33 (patch) | |
| tree | 38ec5b5dcb2f05aff55221e889444ce1d8eadd77 | |
| parent | 37dc087f583e584551b03cee4d9a82e462f50f1c (diff) | |
| download | mariadb-git-d901919db2e9faf8f9ef77b0d38e8db6c47e5e33.tar.gz | |
MDEV-19747: Fix a warning
In commit fc2f2fa85306d80c317e76933264ba3d3675ed1c
we replaced FlushObserver* with bool, but forgot to
replace one NULL with false.
| -rw-r--r-- | storage/innobase/fil/fil0fil.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/storage/innobase/fil/fil0fil.cc b/storage/innobase/fil/fil0fil.cc index 0c9b6fdd6dd..d9c35afd001 100644 --- a/storage/innobase/fil/fil0fil.cc +++ b/storage/innobase/fil/fil0fil.cc @@ -2330,7 +2330,7 @@ fil_delete_tablespace( To deal with potential read requests, we will check the ::stop_new_ops flag in fil_io(). */ - buf_LRU_flush_or_remove_pages(id, NULL); + buf_LRU_flush_or_remove_pages(id, false); /* If it is a delete then also delete any generated files, otherwise when we drop the database the remove directory will fail. */ |