From 697ba28479f627d8af826fdfeab38989da18a1fe Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 3 Dec 2004 23:41:27 +0000 Subject: [PATCH] Comment. --- src/filesys/inode.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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)) { -- 2.30.2