wayland-server: Destroy resource before sending out delete_id event
authorKristian Høgsberg <krh@bitplanet.net>
Fri, 2 Mar 2012 03:46:07 +0000 (22:46 -0500)
committerKristian Høgsberg <krh@bitplanet.net>
Fri, 2 Mar 2012 03:46:46 +0000 (22:46 -0500)
commit0d22d25b8740688a4f243c70cdfd32bc05993778
treecc395db46eba8b1dac05d15e587250583e1a873c
parente7f6c509e2bc6437c858f95b37effee619bdfe17
wayland-server: Destroy resource before sending out delete_id event

In some cases, we send out events from the resource destructor and
those need to go out before we recycle the object ID.
src/wayland-server.c