diff options
| author | marko@hundin.mysql.fi <> | 2004-03-13 22:48:00 +0200 |
|---|---|---|
| committer | marko@hundin.mysql.fi <> | 2004-03-13 22:48:00 +0200 |
| commit | 9ed26f721dc5c0fcf10166dbae0463f0a5489d1c (patch) | |
| tree | 61f1cdfa1fd7e1a5d6d8c6925730b71cec1f2e9d /innobase/os | |
| parent | 9eede1c6bcb2736e9369286eb71682ebcdad9ceb (diff) | |
| download | mariadb-git-9ed26f721dc5c0fcf10166dbae0463f0a5489d1c.tar.gz | |
InnoDB: Replace ut_a(0) with ut_error
Diffstat (limited to 'innobase/os')
| -rw-r--r-- | innobase/os/os0file.c | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/innobase/os/os0file.c b/innobase/os/os0file.c index 55d0ade1bf7..abcb2259e84 100644 --- a/innobase/os/os0file.c +++ b/innobase/os/os0file.c @@ -722,7 +722,7 @@ try_again: } else if (type == OS_DATA_FILE) { type_str = "DATA"; } else { - ut_a(0); + ut_error; } if (purpose == OS_FILE_AIO) { @@ -730,7 +730,7 @@ try_again: } else if (purpose == OS_FILE_NORMAL) { purpose_str = "NORMAL"; } else { - ut_a(0); + ut_error; } /* printf("Opening file %s, mode %s, type %s, purpose %s\n", @@ -1016,7 +1016,7 @@ os_file_flush( /* It is a fatal error if a file flush does not succeed, because then the database can get corrupt on disk */ - ut_a(0); + ut_error; return(FALSE); #else @@ -1050,7 +1050,7 @@ os_file_flush( /* It is a fatal error if a file flush does not succeed, because then the database can get corrupt on disk */ - ut_a(0); + ut_error; return(FALSE); #endif @@ -1801,7 +1801,7 @@ os_aio_get_array_no( return(3); } else { - ut_a(0); + ut_error; return(0); } @@ -1828,7 +1828,7 @@ os_aio_get_array_from_no( return(os_aio_write_array); } else { - ut_a(0); + ut_error; return(NULL); } @@ -2418,7 +2418,7 @@ os_aio_posix_handle( if (sig != SIGRTMIN + 1 + array_no) { - ut_a(0); + ut_error; return(FALSE); } @@ -2682,7 +2682,7 @@ consecutive_loop: "InnoDB: Error: trying a displaced write to %s %lu %lu, len %lu\n", slot->name, slot->offset_high, slot->offset, total_len); - ut_a(0); + ut_error; } /* Do a 'last millisecond' check that the page end |