mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-11-09 10:39:41 -06:00
Vijay Janapa Reddi
6218c52866
Parallel and debug builds removed their worktrees only on normal exit or Ctrl-C. SIGTERM (timeouts, agent harnesses) and SIGHUP (closed terminal) killed the process before cleanup, and nothing ever swept the leftovers, so detached worktrees piled up in $TMPDIR/binder-workspaces (28 GB today). - run_jobs and the debug bisection now turn SIGTERM/SIGHUP into KeyboardInterrupt, so their existing cleanup runs. - run_jobs first removes runs whose binder process has exited (the pid is in the run directory name) and prunes their worktree registrations. - --keep-workspaces runs are marked and skipped by the automatic sweep. - New `binder clean workspaces` removes leftovers on demand, kept runs included.