tree db38010f8a646540a131648043a5b8443981d7e0
parent 0b46de2db6913d1c91af2fa1a9f2b22d3a7acf06
author Florian Mayer <fmayer@google.com> 1542130237 +0000
committer Florian Mayer <fmayer@google.com> 1542130237 +0000

profiling: Fix cleanup of profiling state.

This allows to profile the same process after it has finished profiling.
A resource was left behind that made it appear like the process was
still being profiled.

Change-Id: I73e402dff7b9d91e82433ac1aa1a590e00a3f78d