| Index: src/libplatform/default-platform.cc
|
| diff --git a/src/libplatform/default-platform.cc b/src/libplatform/default-platform.cc
|
| index 72e6002c3f939551c6d2de7be125872d97c4acd9..1e21ca4e82379b6734d54e6d9f77b50bedab61e9 100644
|
| --- a/src/libplatform/default-platform.cc
|
| +++ b/src/libplatform/default-platform.cc
|
| @@ -45,8 +45,8 @@ DefaultPlatform::DefaultPlatform()
|
|
|
| DefaultPlatform::~DefaultPlatform() {
|
| LockGuard<Mutex> guard(&lock_);
|
| + queue_.Terminate();
|
| if (initialized_) {
|
| - queue_.Terminate();
|
| for (std::vector<WorkerThread*>::iterator i = thread_pool_.begin();
|
| i != thread_pool_.end(); ++i) {
|
| delete *i;
|
|
|