diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2016-05-21 21:18:16 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2016-05-21 21:18:16 -0300 |
| commit | a75f8963380a1f6ae8501f21a1d3f3bef8a89d91 (patch) | |
| tree | ae561ded247f81565c8287b6fd4b816f6ec762e6 /scene/gui | |
| parent | c195c0df6b36debc870216dd42e49fbda70fa861 (diff) | |
First version of Profiler
It is now possible to profile GDScript as well as some parts of Godot
internals.
Diffstat (limited to 'scene/gui')
| -rw-r--r-- | scene/gui/video_player.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scene/gui/video_player.cpp b/scene/gui/video_player.cpp index 89dacc6577..26227d6389 100644 --- a/scene/gui/video_player.cpp +++ b/scene/gui/video_player.cpp @@ -131,7 +131,7 @@ void VideoPlayer::_notification(int p_notification) { if (!playback->is_playing()) return; - double audio_time = OS::get_singleton()->get_ticks_usec()/1000000.0; //AudioServer::get_singleton()->get_mix_time(); + double audio_time = USEC_TO_SEC(OS::get_singleton()->get_ticks_usec()); //AudioServer::get_singleton()->get_mix_time(); double delta = last_audio_time==0?0:audio_time-last_audio_time; last_audio_time=audio_time; |