diff options
author | Dudemanguy <random342@airmail.cc> | 2020-08-14 18:22:58 -0500 |
---|---|---|
committer | Dudemanguy <random342@airmail.cc> | 2020-08-14 18:22:58 -0500 |
commit | e107342ff929886f1a07cd569847998631ae15c5 (patch) | |
tree | 1b343b3ae0786c4bacc1c0b6561d0a4683b16bb5 | |
parent | 6573e0a0af1a7ece043b9d94f6a844cfff6b74d3 (diff) | |
download | mpv-e107342ff929886f1a07cd569847998631ae15c5.tar.bz2 mpv-e107342ff929886f1a07cd569847998631ae15c5.tar.xz |
wayland: destroy presentation feedback on uninit
Nothing major but it's technically possible for the
wp_presentation_feedback struct to still be allocated when quitting the
player. Just destroy it if it exists like all of the other wayland
objects.
-rw-r--r-- | video/out/wayland_common.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/video/out/wayland_common.c b/video/out/wayland_common.c index 5c8e0ba550..99aa8ee018 100644 --- a/video/out/wayland_common.c +++ b/video/out/wayland_common.c @@ -1254,6 +1254,9 @@ void vo_wayland_uninit(struct vo *vo) if (wl->presentation) wp_presentation_destroy(wl->presentation); + if (wl->feedback) + wp_presentation_feedback_destroy(wl->feedback); + if (wl->pointer) wl_pointer_destroy(wl->pointer); |