diff options
author | wm4 <wm4@nowhere> | 2014-10-28 15:30:27 +0100 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2014-10-28 20:30:12 +0100 |
commit | 77b06fa017c70491c9b3820fdf14aeeb27b6088c (patch) | |
tree | a1aa4499f5914e810aabe31a7d2b89c13436fada /player/command.c | |
parent | 0da9ee79e768dfb12e2eeabf5115642f1fb9da32 (diff) | |
download | mpv-77b06fa017c70491c9b3820fdf14aeeb27b6088c.tar.bz2 mpv-77b06fa017c70491c9b3820fdf14aeeb27b6088c.tar.xz |
player: handle edition reloading slightly differently
Use the codepath that is normally used for DVD/BD title switching and
DVB channel switching. Removes some extra artifacts from the client API:
now MPV_EVENT_END_FILE will never be called on reloads (and neither is
MPV_EVENT_START_FILE).
Diffstat (limited to 'player/command.c')
-rw-r--r-- | player/command.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/player/command.c b/player/command.c index 0806cd093c..752a62de8f 100644 --- a/player/command.c +++ b/player/command.c @@ -809,7 +809,7 @@ static int mp_property_edition(void *ctx, struct m_property *prop, edition = *(int *)arg; if (edition != demuxer->edition) { opts->edition_id = edition; - mpctx->stop_play = PT_RESTART; + mpctx->stop_play = PT_RELOAD_DEMUXER; } return M_PROPERTY_OK; } |