mirror of
https://github.com/MariaDB/server.git
synced 2026-05-16 20:07:13 +02:00
Merge 10.3 into 10.4
This commit is contained in:
commit
0aa02567dd
36 changed files with 593 additions and 94 deletions
|
|
@ -2546,6 +2546,17 @@ void innodb_shutdown()
|
|||
|
||||
sync_check_close();
|
||||
|
||||
srv_sys_space.shutdown();
|
||||
if (srv_tmp_space.get_sanity_check_status()) {
|
||||
fil_system.temp_space->close();
|
||||
srv_tmp_space.delete_files();
|
||||
}
|
||||
srv_tmp_space.shutdown();
|
||||
|
||||
#ifdef WITH_INNODB_DISALLOW_WRITES
|
||||
os_event_destroy(srv_allow_writes_event);
|
||||
#endif /* WITH_INNODB_DISALLOW_WRITES */
|
||||
|
||||
if (srv_was_started && srv_print_verbose_log) {
|
||||
ib::info() << "Shutdown completed; log sequence number "
|
||||
<< srv_shutdown_lsn
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue