diff options
| author | Kristian Høgsberg <krh@bitplanet.net> | 2011-11-15 22:20:28 -0500 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2011-11-17 17:37:52 -0500 |
| commit | 3a1e6df39aa34df53c97ce9c7a1bfddf5a97faf3 (patch) | |
| tree | 5c103308f52da243bf3cb831ef26736bb760f887 /src/wayland-server.c | |
| parent | 51f50b8c6425684214e58a0e5ab2515b624feaad (diff) | |
Add display event to acknowledge ID deletion
We need to make sure the client doesn't reuse an object ID until the
server has seen the destroy request. When a client destroys an ID
the server will now respond with the display.delete_id event, which lets
the client block reuse until it receives the event.
Diffstat (limited to 'src/wayland-server.c')
| -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 f93aa64..0004c15 100644 --- a/src/wayland-server.c +++ b/src/wayland-server.c @@ -314,6 +314,8 @@ wl_resource_destroy(struct wl_resource *resource, uint32_t time) { struct wl_client *client = resource->client; + wl_resource_post_event(resource->client->display_resource, + WL_DISPLAY_DELETE_ID, resource->object.id); wl_map_insert_at(&client->objects, resource->object.id, NULL); destroy_resource(resource, &time); } |