当python-vlc播放一些HTTP流时，get_time将无法按预期工作

Question

这是我的代码。它的作用是输出视频的当前播放时间。

# -*- coding: utf-8 -*-

import vlc
import os

def MediaPlayerTimeChanged(args, hwnd):
    print args.u.new_time

if __name__ == "__main__":
    instance = vlc.Instance()
    player = instance.media_player_new()
    vlc_events = player.event_manager()
    vlc_events.event_attach(vlc.EventType.MediaPlayerTimeChanged, MediaPlayerTimeChanged, None)
    media = instance.media_new("http://pic.qiantucdn.com/58pic/video/27/34/30/27343023_69.mp4")
    player.set_media(media)
    player.play()
    os.system("pause")

但它不会按预期输出当前播放时间，只会重复输出相同的时间。

250
250
250
250
250
250
250
250
250
......

Videolan官方播放器出现同样的问题。