diff options
| author | Isaac Freund <ifreund@ifreund.xyz> | 2020-05-19 22:59:50 +0200 |
|---|---|---|
| committer | Isaac Freund <ifreund@ifreund.xyz> | 2020-05-19 22:59:50 +0200 |
| commit | cee41e925dc0a9d7460806c9f8386512b207edf3 (patch) | |
| tree | 75799b00cf703d4196864a261e01ff8ec53699f2 /src/Server.zig | |
| parent | 569308d91b7d6ea19a283a3db4a612f9e5d881d7 (diff) | |
| download | river-cee41e925dc0a9d7460806c9f8386512b207edf3.tar.gz river-cee41e925dc0a9d7460806c9f8386512b207edf3.tar.xz | |
Implement command execution through riverctl
Diffstat (limited to 'src/Server.zig')
| -rw-r--r-- | src/Server.zig | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Server.zig b/src/Server.zig index 622b76f..a75ead0 100644 --- a/src/Server.zig +++ b/src/Server.zig @@ -143,6 +143,7 @@ pub fn deinit(self: *Self) void { c.wl_display_destroy(self.wl_display); self.input_manager.deinit(); self.root.deinit(); + self.config.deinit(self.allocator); } /// Create the socket, set WAYLAND_DISPLAY, and start the backend |