Merge pull request #2839 from alexrp/profiler-thread-detach
authorAlex Rønne Petersen <alex@alexrp.com>
Wed, 6 Apr 2016 23:12:10 +0000 (01:12 +0200)
committerAlex Rønne Petersen <alex@alexrp.com>
Wed, 6 Apr 2016 23:12:10 +0000 (01:12 +0200)
[profiler] Detach helper/writer threads before shutting them down.


Trivial merge