shell: destroy desktop_shell client on exit
authorPekka Paalanen <ppaalanen@gmail.com>
Mon, 2 Jan 2012 14:00:24 +0000 (16:00 +0200)
committerPekka Paalanen <ppaalanen@gmail.com>
Mon, 2 Jan 2012 14:00:24 +0000 (16:00 +0200)
commit9cf5cc882d73b7b5dcd698a2da65869be889439d
treefc9c5b1dc9a2ea9f5e8ad45d22d68e2de54de0c4
parent4738f3b1ea433ad8a9ab8550e557e43efaa28362
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>
compositor/shell.c