Hello, I have two questions related to leases that I couldn't find answers to in the kernel documentation:
1. Does drmModeRevokeLease() close the previously obtained file descriptor? 2. If a lease is created and then the DRM master is lost and then regained, is the lease still valid? If not, are there any additional cleanup steps required? Thanks in advance, Eduardo
