From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 8 Feb 2005 18:27:26 +0000 (+0000)
Subject: Free file in file_close().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;ds=sidebyside;h=3f5eed42d1524ed62ee39bc5e9c679e9ae6adf16;p=pintos-anon

Free file in file_close().
---

diff --git a/src/filesys/file.c b/src/filesys/file.c
index 27e907f..e8818c0 100644
--- a/src/filesys/file.c
+++ b/src/filesys/file.c
@@ -45,6 +45,7 @@ file_close (struct file *file)
   
   inode_close (file->inode);
   free (file->bounce);
+  free (file);
 }
 
 /* Reads SIZE bytes from FILE into BUFFER,