mirror of
https://github.com/MariaDB/server.git
synced 2025-08-29 00:08:14 +03:00
Many files:
Free all OS sync primitives and allocated memory in InnoDB shutdown
This commit is contained in:
@@ -209,6 +209,12 @@ void
|
||||
srv_init(void);
|
||||
/*==========*/
|
||||
/*************************************************************************
|
||||
Frees the OS fast mutex created in srv_init(). */
|
||||
|
||||
void
|
||||
srv_free(void);
|
||||
/*==========*/
|
||||
/*************************************************************************
|
||||
Initializes the synchronization primitives, memory system, and the thread
|
||||
local storage. */
|
||||
|
||||
|
Reference in New Issue
Block a user