Re: [GHC] #6113: Profiling with -p not written if killed with SIGTERM