janestreet/magic-trace

Write out the PID

cgaebel opened this issue · 0 comments

If magic-trace wrote out the PID of the process it was attached to when it attached, users could copy+paste that the next time they invoke magic-trace. I already do that with the symbol after using -trigger ?, and it'd be useful to do it for PID as well.