From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 5 Sep 2004 08:14:47 +0000 (+0000)
Subject: file_write_at() mustn't free bounce buffer.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=762a09bb7b3dc24de325e74273d7575251f0d419;p=pintos-anon

file_write_at() mustn't free bounce buffer.
---

diff --git a/src/filesys/file.c b/src/filesys/file.c
index 8969e17..323470e 100644
--- a/src/filesys/file.c
+++ b/src/filesys/file.c
@@ -119,7 +119,6 @@ file_write_at (struct file *file, const void *buffer_, off_t size,
       file_ofs += chunk_size;
       bytes_written += chunk_size;
     }
-  free (file->bounce);
 
   return bytes_written;
 }