diff options
-rw-r--r-- | player/configfiles.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/configfiles.c b/player/configfiles.c index d87f83c1f7..f92d4ca96b 100644 --- a/player/configfiles.c +++ b/player/configfiles.c @@ -181,7 +181,7 @@ static char *mp_get_playback_resume_config_filename(struct MPContext *mpctx, realpath = mp_path_join(tmp, cwd, fname); } } - if (bstr_startswith0(bfname, "dvd://") && opts->dvd_opts->device) + if (bstr_startswith0(bfname, "dvd://") && opts->dvd_opts && opts->dvd_opts->device) realpath = talloc_asprintf(tmp, "%s - %s", realpath, opts->dvd_opts->device); if ((bstr_startswith0(bfname, "br://") || bstr_startswith0(bfname, "bd://") || bstr_startswith0(bfname, "bluray://")) && opts->bluray_device) |