diff options
| author | Isaac Freund <mail@isaacfreund.com> | 2021-10-02 14:36:50 +0200 |
|---|---|---|
| committer | Isaac Freund <mail@isaacfreund.com> | 2021-10-02 14:48:23 +0200 |
| commit | 5b8eab569c0860d48642bf096eccaa02244085e8 (patch) | |
| tree | b328046a3c1f68104b07a8a06eb61067160ef150 | |
| parent | 9270a2df08b8fad97203baedf133ac0b4fc47048 (diff) | |
| download | river-5b8eab569c0860d48642bf096eccaa02244085e8.tar.gz river-5b8eab569c0860d48642bf096eccaa02244085e8.tar.xz | |
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.
| -rw-r--r-- | river/Server.zig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/river/Server.zig b/river/Server.zig index ebe9096..951ba9e 100644 --- a/river/Server.zig +++ b/river/Server.zig @@ -144,10 +144,10 @@ pub fn deinit(self: *Self) void { self.backend.destroy(); self.root.deinit(); + self.input_manager.deinit(); self.wl_server.destroy(); - self.input_manager.deinit(); self.config.deinit(); } |
