void HTMLMediaElement::refreshCachedTime() const
{
-#if ENABLE(TIZEN_GSTREAMER_VIDEO)
- if (m_player->currentTime() > 0.0f || m_cachedTime == MediaPlayer::invalidTime())
-#endif
m_cachedTime = m_player->currentTime();
m_cachedTimeWallClockUpdateTime = WTF::currentTime();
}
static const double minimumTimePlayingBeforeCacheSnapshot = 0.5;
m_minimumWallClockTimeToCacheMediaTime = WTF::currentTime() + minimumTimePlayingBeforeCacheSnapshot;
-#if !ENABLE(TIZEN_GSTREAMER_VIDEO)
m_cachedTime = MediaPlayer::invalidTime();
-#endif
}
// playback state