server: do not send delete_id to a dead client
authorPekka Paalanen <ppaalanen@gmail.com>
Tue, 29 Nov 2011 12:32:32 +0000 (14:32 +0200)
committerPekka Paalanen <ppaalanen@gmail.com>
Tue, 29 Nov 2011 12:46:49 +0000 (14:46 +0200)
commitcf89b40c4ca105416240df737ba8e30c070a44af
tree46268d8c0b77c4443a488fcd96a09a063c2565d0
parent42eed3235a8349ac2139bb9a06cb8ac294872809
server: do not send delete_id to a dead client

During client tear-down, all objects are destroyed in id order.
Therefore the display object is destroyed first.

If the destroy listeners of any object destroy another object by calling
wl_resoruce_destroy(), we try to send a delete_id event to the client.
This leads to a segmentation fault without a display object.

Signed-off-by: Pekka Paalanen <ppaalanen@gmail.com>
src/wayland-server.c