()
| 114 | sys.stdout.flush() |
| 115 | |
| 116 | def redraw_loop(): |
| 117 | while not done_event.is_set(): |
| 118 | time.sleep(0.1) |
| 119 | with lock: |
| 120 | now = time.time() |
| 121 | for i, s in enumerate(states): |
| 122 | if s["status"] == "pending" and starts[i] is not None: |
| 123 | s["elapsed"] = now - starts[i] |
| 124 | repaint() |
| 125 | |
| 126 | def set_status_for(i: int, phase: str): |
| 127 | with lock: |