commit | 9cf5cc882d73b7b5dcd698a2da65869be889439d | [log] [tgz] |
---|---|---|
author | Pekka Paalanen <ppaalanen@gmail.com> | Mon Jan 02 16:00:24 2012 +0200 |
committer | Pekka Paalanen <ppaalanen@gmail.com> | Mon Jan 02 16:00:24 2012 +0200 |
tree | fc9c5b1dc9a2ea9f5e8ad45d22d68e2de54de0c4 | |
parent | 4738f3b1ea433ad8a9ab8550e557e43efaa28362 [diff] |
shell: destroy desktop_shell client on exit If the compositor is shutting down while the desktop_shell still exists, we leaked some resources by not destroying the client record. Call wl_client_destroy() on the desktop_shell client, if it exists during shutdown. Fixes some Valgrind errors. Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>