mgedmin
Maybe append a [terminated] or something to the command line? Change the graph color?
when a process dies, the graph stops -- but it's unclear that it stopped
#3 · open · 0 comments
#3 · open · 0 comments
Maybe append a [terminated] or something to the command line? Change the graph color?