Fixed race-condition where texture could be destructed on non-GL thread.

diff --git a/accelerator/ogl/util/device.cpp b/accelerator/ogl/util/device.cpp
index 1e41ceb7a0eb637fd0571b9a73fe16d66d86f97b..e71ca3404b2051ed80809c79f54d4c88539bc387 100644 (file)
--- a/accelerator/ogl/util/device.cpp
+++ b/accelerator/ogl/util/device.cpp
@@ -266,7 +266,11 @@ struct device::impl : public std::enable_shared_from_this<impl>
 
                        if (strong)
                        {
-                               strong->texture_cache_.erase(buf.get());
+                               strong->executor_.invoke([&]
+                               {
+                                       strong->texture_cache_.erase(buf.get());
+                               }, task_priority::high_priority);
+                               
                                pool->push(buf);
                        }
                        else