Skip to content
  • Kristian Høgsberg's avatar
    Add display event to acknowledge ID deletion · 3a1e6df3
    Kristian Høgsberg authored
    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.
    3a1e6df3