diff options
| author | Isaac Freund <ifreund@ifreund.xyz> | 2021-07-23 19:03:08 +0200 |
|---|---|---|
| committer | Isaac Freund <ifreund@ifreund.xyz> | 2021-07-23 19:03:08 +0200 |
| commit | b243cd7fc3bc47b0714d98ba8320640169d672bd (patch) | |
| tree | dfca9fcaa4cd802235f49ae94b270939b761be77 | |
| parent | 36ce81bb67b732439208d48cae7e9c95d4a2379c (diff) | |
| download | river-b243cd7fc3bc47b0714d98ba8320640169d672bd.tar.gz river-b243cd7fc3bc47b0714d98ba8320640169d672bd.tar.xz | |
river: destroy backend before Root.deinit()
Handling output destroy now requires the wlr_output_layout to still be
around, as we need it to properly handle cursor state. In order to make
sure that all outputs are destroyed before the wlr_output_layout is,
simply destroy the backend before calling Root.deinit().
| -rw-r--r-- | river/Server.zig | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/river/Server.zig b/river/Server.zig index 6d9a861..0450a7c 100644 --- a/river/Server.zig +++ b/river/Server.zig @@ -139,6 +139,8 @@ pub fn deinit(self: *Self) void { self.wl_server.destroyClients(); + self.backend.destroy(); + self.root.deinit(); self.wl_server.destroy(); |
