| 1369 | } |
| 1370 | |
| 1371 | bool isBusy() { |
| 1372 | return headWriter.isBusy() || headReader.isBusy() || tailWriter.isBusy() || !newTailPage.isReady(); |
| 1373 | } |
| 1374 | |
| 1375 | // Wait until all previously started operations on each cursor are done and the new tail page is ready |
| 1376 | Future<Void> notBusy() { |
no test coverage detected