Searched refs:_start_time (Results 1 – 2 of 2) sorted by relevance
91 optional< utils::datetime::timestamp > _start_time; member in __anond27af6450111::report_console_hooks307 if (!_start_time || _start_time.get() > iter.start_time()) in got_result()308 _start_time = iter.start_time(); in got_result()365 if (_verbose && _start_time) { in end()368 _start_time.get().to_iso8601_in_utc(); in end()
156 optional< utils::datetime::timestamp > _start_time; member in __anon027a2ff90111::html_hooks339 if (!_start_time || _start_time.get() > iter.start_time()) in got_result()340 _start_time = iter.start_time(); in got_result()396 if (_start_time) { in write_summary()399 "start_time", _start_time.get().to_iso8601_in_utc()); in write_summary()