| Index: content/common/gpu/gpu_channel_manager.h
|
| diff --git a/content/common/gpu/gpu_channel_manager.h b/content/common/gpu/gpu_channel_manager.h
|
| index f031f76e974bdd9342bb53ed5ce639251f4e2c86..a163597db0fe750c9d3f77d3334155fb40085480 100644
|
| --- a/content/common/gpu/gpu_channel_manager.h
|
| +++ b/content/common/gpu/gpu_channel_manager.h
|
| @@ -47,7 +47,7 @@ class GpuChannelManager : public IPC::Channel::Listener,
|
| GpuWatchdog* watchdog,
|
| base::MessageLoopProxy* io_message_loop,
|
| base::WaitableEvent* shutdown_event);
|
| - ~GpuChannelManager();
|
| + virtual ~GpuChannelManager();
|
|
|
| // Remove the channel for a particular renderer.
|
| void RemoveChannel(int renderer_id);
|
|
|