Searched refs:_end_time (Results 1 – 2 of 2) sorted by relevance
94 optional< utils::datetime::timestamp > _end_time; member in __anond9d89bf00111::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()
160 optional< utils::datetime::timestamp > _end_time; member in __anon9e0918840111::html_hooks342 if (!_end_time || _end_time.get() < iter.end_time()) in got_result()343 _end_time = iter.end_time(); in got_result()398 INV(_end_time); in write_summary()402 "end_time", _end_time.get().to_iso8601_in_utc()); in write_summary()