X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Finode.c;h=5ca91f157449b80c2afd29a1f00991da730d7fcd;hb=697ba28479f627d8af826fdfeab38989da18a1fe;hp=1535c7a009253140fb0f3da5fb3a519b4c463747;hpb=a0b5ffb1de46bf4cf5b13fbfb8c0ae550f98d57c;p=pintos-anon

diff --git a/src/filesys/inode.c b/src/filesys/inode.c
index 1535c7a..5ca91f1 100644
--- a/src/filesys/inode.c
+++ b/src/filesys/inode.c
@@ -110,7 +110,10 @@ inode_open (disk_sector_t sector)
   list_elem *e;
   struct inode *idx;
 
-  /* Check whether this inode is already open. */
+  /* Check whether this inode is already open.
+     (A hash table would be better, but the Pintos base code
+     avoids using the hash table so that users are free to modify
+     it at will.) */
   for (e = list_begin (&open_inodes); e != list_end (&open_inodes);
        e = list_next (e)) 
     {