fix: allow Buffer.Manager.delete_buffer calls on dead buffers

This commit is contained in:
CJ van den Berg 2025-10-10 12:34:00 +02:00
parent 42705867f1
commit b463622f05
Signed by: neurocyte
GPG key ID: 8EB1E1BB660E3FB9

View file

@ -32,7 +32,8 @@ fn add_buffer(self: *Self, buffer: *Buffer) error{OutOfMemory}!void {
try self.buffers.put(self.allocator, try self.allocator.dupe(u8, buffer.get_file_path()), buffer);
}
pub fn delete_buffer(self: *Self, buffer: *Buffer) void {
pub fn delete_buffer(self: *Self, buffer_: *Buffer) void {
const buffer = self.buffer_from_ref(self.buffer_to_ref(buffer_)) orelse return; // check buffer is valid
if (self.buffers.fetchRemove(buffer.get_file_path())) |kv| {
self.allocator.free(kv.key);
kv.value.deinit();