Searched refs:_end_time (Results 1 – 2 of 2) sorted by relevance
94 optional< utils::datetime::timestamp > _end_time; member in __anon21eb82870111::report_console_hooks309 if (!_end_time || _end_time.get() < iter.end_time()) in got_result()310 _end_time = iter.end_time(); in got_result()366 INV(_end_time); in end()370 _end_time.get().to_iso8601_in_utc(); in end()
159 optional< utils::datetime::timestamp > _end_time; member in __anona416b57b0111::html_hooks341 if (!_end_time || _end_time.get() < iter.end_time()) in got_result()342 _end_time = iter.end_time(); in got_result()397 INV(_end_time); in write_summary()401 "end_time", _end_time.get().to_iso8601_in_utc()); in write_summary()