diff options
| author |  wm4 <wm4@nowhere> | 2017-05-01 19:57:17 +0200 |
|---|---|---|
| committer | wm4 <wm4@nowhere> | 2017-05-01 19:57:56 +0200 |
| commit | 24f568c06858146681decb1d4be50ef68865d136 (patch) | |
| tree | eac858e011e5a1269925871d477a2b8ba3023541 /TOOLS | |
| parent | b5b3aadf40b5a94d79b4ec3f1d3a1892eba01f6a (diff) | |
player: fix potential segfault when playing dvd:// with DVD disabled
Tries to access the options, which are obviously not allocated if there
is no DVD support compiled.
Fixes #4393.
Diffstat (limited to 'TOOLS')
0 files changed, 0 insertions, 0 deletions