| 220 | } |
| 221 | |
| 222 | Status RecordClose(Session* session) { |
| 223 | return RecordClose(session, *kEmptyRunOptions()); |
| 224 | } |
| 225 | |
| 226 | // N.B. RunOptions is not stored (it has no entry in CloseRequest) |
| 227 | Status RecordClose(Session* session, const RunOptions& run_options) { |
no test coverage detected