[PATCH v2] server: add wl_display_destroy_clients()

a new wl_display_destroy_clients() function is added in this patch. It should be called by compositors right before wl_display_destroy(). [1] https://bugs.freedesktop.org/show_bug.cgi?id=99142 [2] https://patchwork.freedesktop.org/patch/128832/ Signed-off-by: emersion --- v2: change commit message

[PATCH] server: add wl_display_destroy_clients

alled by compositors right before wl_display_destroy. See https://patchwork.freedesktop.org/patch/128832/ Signed-off-by: emersion --- src/wayland-server-core.h | 3 +++ src/wayland-server.c | 22 ++ 2 files changed, 25 insertions(+) diff --git a/src/wayland-server-cor