Server: fix use after free in deinit()

The input manager and seats must be destroyed before the display is
destroyed as they need to destroy their timer event sources used for key
repeat.
This commit is contained in:
Isaac Freund 2021-10-02 14:36:50 +02:00
parent 9270a2df08
commit 5b8eab569c
No known key found for this signature in database
GPG key ID: 86DED400DDFD7A11

View file

@ -144,10 +144,10 @@ pub fn deinit(self: *Self) void {
self.backend.destroy(); self.backend.destroy();
self.root.deinit(); self.root.deinit();
self.input_manager.deinit();
self.wl_server.destroy(); self.wl_server.destroy();
self.input_manager.deinit();
self.config.deinit(); self.config.deinit();
} }