Changeset 188049 in webkit


Ignore:
Timestamp:
Aug 6, 2015 11:30:30 AM (9 years ago)
Author:
mrajca@apple.com
Message:

Media Session: remove media elements from the ID <-> element map on destruction
​https://bugs.webkit.org/show_bug.cgi?id=147707

Reviewed by Eric Carlson.

  • html/HTMLMediaElement.cpp:

(WebCore::HTMLMediaElement::~HTMLMediaElement):

Location:
trunk/Source/WebCore
Files:
2 edited

Legend:

Unmodified
Added
Removed

  • trunk/Source/WebCore/ChangeLog

    r188046 r188049  
     12015-08-06  Matt Rajca  <mrajca@apple.com>
     2
     3        Media Session: remove media elements from the ID <-> element map on destruction
     4        https://bugs.webkit.org/show_bug.cgi?id=147707
     5
     6        Reviewed by Eric Carlson.
     7
     8        * html/HTMLMediaElement.cpp:
     9        (WebCore::HTMLMediaElement::~HTMLMediaElement):
     10
    1112015-08-06  Gyuyoung Kim  <gyuyoung.kim@webkit.org>
    212

  • trunk/Source/WebCore/html/HTMLMediaElement.cpp

    r188041 r188049  
    512512        m_session = nullptr;
    513513    }
     514
     515    elementIDsToElements().remove(m_elementID);
    514516#endif
    515517
Note: See TracChangeset for help on using the changeset viewer.