| Index: Source/core/frame/DOMTimer.h
|
| diff --git a/Source/core/frame/DOMTimer.h b/Source/core/frame/DOMTimer.h
|
| index ad25afed777f2acae9aa2050cccee20130f9c1c8..508a1841884529871b964b78685b9a1f6be0da7d 100644
|
| --- a/Source/core/frame/DOMTimer.h
|
| +++ b/Source/core/frame/DOMTimer.h
|
| @@ -56,9 +56,14 @@ public:
|
| static double hiddenPageAlignmentInterval();
|
| static double visiblePageAlignmentInterval();
|
|
|
| + // Eager finalization is needed to promptly stop this Timer object.
|
| + // Otherwise timer events might fire at an object that's slated for destruction
|
| + // (when lazily swept), but some of its members (m_action) may already have
|
| + // been finalized & must not be accessed.
|
| + EAGERLY_FINALIZE();
|
| DECLARE_VIRTUAL_TRACE();
|
|
|
| - void dispose();
|
| + void disposeTimer();
|
|
|
| private:
|
| friend class DOMTimerCoordinator; // For create().
|
|
|