| 730 | } |
| 731 | |
| 732 | void Mrr_ordered_index_reader::set_no_interruption_temp_buffer() |
| 733 | { |
| 734 | support_scan_interruptions= FALSE; |
| 735 | saved_key_tuple= saved_rowid= saved_primary_key= NULL; /* safety */ |
| 736 | have_saved_rowid= FALSE; |
| 737 | read_was_interrupted= FALSE; |
| 738 | } |
| 739 | |
| 740 | void Mrr_ordered_index_reader::interrupt_read() |
| 741 | { |