Use the buffer manager to delete buffer, throw when a client is inserting

1 files changed, 1 insertions, 2 deletions

diff --git a/src/file.cc b/src/file.cc
index 86597681..1e9b7327 100644
--- a/src/file.cc
+++ b/src/file.cc
@@ -133,8 +133,7 @@ Buffer* create_buffer_from_file(String filename)
     const char* data = (const char*)mmap(nullptr, st.st_size, PROT_READ, MAP_PRIVATE, fd, 0);
     auto cleanup = on_scope_end([&]{ munmap((void*)data, st.st_size); close(fd); });
 
-    if (Buffer* buffer = BufferManager::instance().get_buffer_ifp(filename))
-        delete buffer;
+    BufferManager::instance().delete_buffer_if_exists(filename);
 
     const char* pos = data;
     bool crlf = false;