diff options
Diffstat (limited to 'player')
| -rw-r--r-- | player/main.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/player/main.c b/player/main.c index 0458831f7c..09cce990bb 100644 --- a/player/main.c +++ b/player/main.c @@ -184,16 +184,17 @@ void mp_destroy(struct MPContext *mpctx) cocoa_set_input_context(NULL); #endif - if (cas_terminal_owner(mpctx, mpctx)) { - terminal_uninit(); - cas_terminal_owner(mpctx, NULL); - } - mp_input_uninit(mpctx->input); uninit_libav(mpctx->global); mp_msg_uninit(mpctx->global); + + if (cas_terminal_owner(mpctx, mpctx)) { + terminal_uninit(); + cas_terminal_owner(mpctx, NULL); + } + assert(!mpctx->num_abort_list); talloc_free(mpctx->abort_list); mp_mutex_destroy(&mpctx->abort_lock); |