[Patch] Fix PR58737

[Paolo Carlini]

On 10/15/2013 04:56 PM, Tim Shen wrote:
> This memory leak is because forgetting virtual destructor of the base
> class _Executor.
Of course.

Thanks,
Paolo.