in reply to Re^3: how to kill background process when script exit?
in thread how to kill background process when script exit?

I just realized that what I had "discovered" is exactly what you were trying to tell me. Somehow I just wasn't seeing it. (wouldn't be the first time).
  • Comment on Re^4: how to kill background process when script exit?