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

os0thread.c, os0thread.h, os0sync.h:

Cleanup
os0sync.c:
  Free all OS sync primitives and allocated memory in InnoDB shutdown


innobase/os/os0sync.c:
  Free all OS sync primitives and allocated memory in InnoDB shutdown
innobase/include/os0sync.h:
  Cleanup
innobase/include/os0thread.h:
  Cleanup
innobase/os/os0thread.c:
  Cleanup
This commit is contained in:
unknown
2003-05-31 03:23:42 +03:00
parent 3cba21f9f5
commit c01bcf473e
4 changed files with 3 additions and 5 deletions

View File

@ -57,8 +57,7 @@ void
os_sync_init(void);
/*==============*/
/*************************************************************
Frees created events (not in Windows) and OS 'slow' mutexes. OS 'fast'
mutexes must be freed with sync_free() before this. */
Frees created events (not in Windows) and OS 'slow' mutexes. */
void
os_sync_free(void);