更改数据源时，FFmpegMediaPlayer崩溃

Question

设置https://github.com/wseemann/FFmpegMediaPlayer并加载数据源时，效果很好。

问题是当我想切换数据源时，出现此崩溃错误：

  

06-29 12：34：48.540 30538-30576 / com.sdi.enhance A / libc：无效   pthread_t 0x73756f69726176传递给libc

     

06-29 12：34：48.542 30538-30576 / com.sdi.enhance A / libc：致命信号6（SIGABRT），代码-6   在tid 30576（Timer-0）中

这是示例代码：

play(url) {
    mediaPlayer = new FFmpegMediaPlayer();
    mediaPlayer.setDataSource(url);
    mediaPlayer.prepare();
    mediaPlayer.start();
}

stop() {
    if (mediaPlayer != null) {
        mediaPlayer.stop();
        mediaPlayer.release();
        mediaPlayer = null;
    }
}

run() {
    loop every 10 seconds {
         stop();
         play(...);
    }
}

我还尝试过一次初始化播放器，然后在stop（）之后调用reset（），但是遇到类似的libc错误。