Index: gpu/command_buffer/service/shader_manager.h |
=================================================================== |
--- gpu/command_buffer/service/shader_manager.h (revision 51426) |
+++ gpu/command_buffer/service/shader_manager.h (working copy) |
@@ -91,9 +91,12 @@ |
std::string log_info_; |
}; |
- ShaderManager() { |
- } |
+ ShaderManager() { } |
+ ~ShaderManager(); |
+ // Must call before destruction. |
+ void Destroy(bool have_context); |
+ |
// Creates a shader info for the given shader ID. |
void CreateShaderInfo(GLuint client_id, |
GLuint service_id, |