| commit | 3a1e6df39aa34df53c97ce9c7a1bfddf5a97faf3 | [log] [tgz] |
|---|---|---|
| author | Kristian Høgsberg <[email protected]> | Wed Nov 16 03:20:28 2011 |
| committer | Kristian Høgsberg <[email protected]> | Thu Nov 17 22:37:52 2011 |
| tree | 5c103308f52da243bf3cb831ef26736bb760f887 | |
| 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.