diff options
author | wm4 <wm4@nowhere> | 2015-03-02 19:09:36 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2015-03-02 19:09:36 +0100 |
commit | a4b6bf8c41b54554286117b97e78412a32b5147f (patch) | |
tree | fa745bdb50a2cf0c51e99aa710b042a2e75eba08 /wscript_build.py | |
parent | 01b87e509c292189acdd96bc7a216b50eafbce9e (diff) | |
download | mpv-a4b6bf8c41b54554286117b97e78412a32b5147f.tar.bz2 mpv-a4b6bf8c41b54554286117b97e78412a32b5147f.tar.xz |
player: refine rar:// playlist-safety handling
It was possible to make the player play local files by putting rar://
links into remote playlists, and some other potentially unsafe things.
Redo the handling of it. Now the rar-redirector (the thing in
demux_playlist.c) sets disable_safety, which makes the player open any
playlist entries returned. This is fine, because it redirects to the
same file anyway (just with different selection/interpretation of the
contents). On the other hand, rar:// itself is now considered fully
unsafe, which means that it is ignored if found in normal playlists.
Diffstat (limited to 'wscript_build.py')
0 files changed, 0 insertions, 0 deletions