mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

os0file.c:

Browse source 
Crash the server if file flush does not succeed: the database can get corrupt, better to crash it than let it run


innobase/os/os0file.c:
  Crash the server if file flush does not succeed: the database can get corrupt, better to crash it than let it run
This commit is contained in:
unknown 2002-06-26 10:09:11 +03:00
parent 458c785e1f
commit 0ae83cae79
1 changed files with 13 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
innobase/os/os0file.c
View file

@ -761,6 +761,10 @@ os_file_flush(
os_file_handle_error(file, NULL);
/* It is a fatal error if a file flush does not succeed, because then
the database can get corrupt on disk */
ut_a(0);
return(FALSE);
#else
int ret;
@ -783,11 +787,17 @@ os_file_flush(
return(TRUE);
}
ut_print_timestamp(stderr);
fprintf(stderr,
"InnoDB: Error: the OS said file flush did not succeed\n");
" InnoDB: Error: the OS said file flush did not succeed\n");
os_file_handle_error(file, NULL);
/* It is a fatal error if a file flush does not succeed, because then
the database can get corrupt on disk */
ut_a(0);
return(FALSE);
#endif
}
@ -1144,8 +1154,8 @@ os_file_write(
"InnoDB: Operating system error number %lu.\n"
"InnoDB: Check that your OS and file system support files of this size.\n"
"InnoDB: Check also the disk is not full or a disk quota exceeded.\n",
name, offset_high, offset, n, ret, (ulint)errno);
name, offset_high, offset, n, (ulint)ret,
(ulint)errno);
os_has_said_disk_full = TRUE;
}