Stop attach sessions when perf exits#375

jeet-dekivadia wants to merge 1 commit into

janestreet:masterjanestreet/magic-trace:masterfrom

jeet-dekivadia:codex/detach-when-perf-exitsjeet-dekivadia/magic-trace:codex/detach-when-perf-exitsCopy head branch name to clipboard