mirror of
https://github.com/MariaDB/server.git
synced 2025-07-30 16:24:05 +03:00
InnoDB portability fix: new function os_file_set_eof()
This commit is contained in:
@ -1609,11 +1609,7 @@ loop:
|
||||
mutex_enter(&srv_monitor_file_mutex);
|
||||
rewind(srv_monitor_file);
|
||||
srv_printf_innodb_monitor(srv_monitor_file);
|
||||
#ifdef __WIN__
|
||||
chsize(fileno(srv_monitor_file), ftell(srv_monitor_file));
|
||||
#else /* __WIN__ */
|
||||
ftruncate(fileno(srv_monitor_file), ftell(srv_monitor_file));
|
||||
#endif /* __WIN__ */
|
||||
os_file_set_eof(srv_monitor_file);
|
||||
mutex_exit(&srv_monitor_file_mutex);
|
||||
|
||||
if (srv_print_innodb_tablespace_monitor
|
||||
|
Reference in New Issue
Block a user