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; |