Home | History | Annotate | Download | only in tools

Lines Matching refs:end_time

492   if timeout is None: end_time = None
493 else: end_time = time.time() + timeout
500 if (not end_time is None) and (time.time() >= end_time):