diff options
| author | Tomeu Vizoso <tomeu@tomeuvizoso.net> | 2013-08-08 10:31:56 +0200 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2013-08-08 13:51:13 -0700 |
| commit | f26a322327309c9493ec932642131162d103ca66 (patch) | |
| tree | b68538f75dba717afa7e28e5dd8e2e09341fefd1 | |
| parent | 6dd0ba0e32c616ed5fe91296d0adb3c04d0ca7cd (diff) | |
server: Release additional_shm_formats array at display destruction
| -rw-r--r-- | src/wayland-server.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/wayland-server.c b/src/wayland-server.c index 1498d51..771309f 100644 --- a/src/wayland-server.c +++ b/src/wayland-server.c @@ -746,6 +746,8 @@ wl_display_destroy(struct wl_display *display) wl_list_for_each_safe(global, gnext, &display->global_list, link) free(global); + wl_array_release(&display->additional_shm_formats); + free(display); } |