OSDN Git Service

Properly delete the jit thread pool.
authorNicolas Geoffray <ngeoffray@google.com>
Wed, 4 Nov 2015 17:22:16 +0000 (17:22 +0000)
committerNicolas Geoffray <ngeoffray@google.com>
Thu, 5 Nov 2015 12:11:39 +0000 (12:11 +0000)
commit629e9350b0b72998416504f7a6fb95b6086daca8
tree87e98bf173f0ccd98c0f0fb728c70d4a8c0eacc6
parentad15539f5a1135d82439c5eb3ed4bb80c422a734
Properly delete the jit thread pool.

bug:25461989
bug:25462600
Change-Id: I273cf256285d01c085e4dea1d997955d029361b9
runtime/jit/jit.cc
runtime/jit/jit_instrumentation.cc
runtime/jit/jit_instrumentation.h
runtime/thread_pool.cc
runtime/thread_pool.h