Changes:

Fixes:
- Close live sessions when deleting projects
- Show correct per-agent dev/prod build indicator on MachineInfoPage (devBuild was read from a stale global that mirrored the last-handshaken agent)