[Android] VideoPlayerActivity: handle navigable media (DVD, Blu-Ray)

[Edward Wang]

Hi Felix,

On Mon, Jul 7, 2014 at 5:58 AM, Felix Abecassis
<felix.abecassis at gmail.com> wrote:
> This is apparently caused by a bug in the core,
> libvlc_get_chapter_count_for_title() returns random garbage for some samples
> (e.g. 1976853078 chapters for one sample). This is caused by a lack of error
> checking in libvlc_media_player_get_chapter_count_for_title(), the return
> value of var_Change is not tested and thus we return an uninitialized value
> if var_Change failed (for instance in case of VLC_ENOVAR).
>

Is it possible/easy enough to get this bug in core fixed?

Thanks,
Edward Wang