diff options
author | Michael Widenius <monty@askmonty.org> | 2012-03-28 13:49:07 +0300 |
---|---|---|
committer | Michael Widenius <monty@askmonty.org> | 2012-03-28 13:49:07 +0300 |
commit | 3bc932ec175ae9ac2fc6c0c5be29002819c9b102 (patch) | |
tree | 142e8c1fdf2e1cd20740c27716b4fb692895db41 /storage/archive | |
parent | c88e2679c60f56719b6d347c30374e69ffd3d5c4 (diff) | |
parent | 74b064933267f58b9201c46eb67454237d7664d3 (diff) | |
download | mariadb-git-3bc932ec175ae9ac2fc6c0c5be29002819c9b102.tar.gz |
Merge with 5.1
Diffstat (limited to 'storage/archive')
-rw-r--r-- | storage/archive/ha_archive.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/storage/archive/ha_archive.h b/storage/archive/ha_archive.h index 653a13b242d..6f0c0b529fb 100644 --- a/storage/archive/ha_archive.h +++ b/storage/archive/ha_archive.h @@ -125,7 +125,9 @@ public: int free_share(); int init_archive_writer(); int init_archive_reader(); - bool auto_repair() const { return 1; } // For the moment we just do this + // Always try auto_repair in case of HA_ERR_CRASHED_ON_USAGE + bool auto_repair(int error) const + { return error == HA_ERR_CRASHED_ON_USAGE; } int read_data_header(azio_stream *file_to_read); void position(const uchar *record); int info(uint); |