Searched refs:finish_time (Results 1 – 2 of 2) sorted by relevance
172 const auto finish_time = Now() + timeout; in OpenAsWriterWithTimeout() local176 const auto dur = duration_cast<microseconds>(finish_time - Now()).count(); in OpenAsWriterWithTimeout()
697 $finish_time, # Time ping should be finished768 $finish_time = &time() + $timeout; # Must be done by this time772 $timeout = $finish_time - &time(); # Get remaining time1266 $finish_time, # Time ping should be finished1331 $finish_time = &time() + $timeout; # Ping needs to be done by then1341 $timeout = $finish_time - &time(); # Get remaining time