X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Ffilesys%2Ffsutil.c;h=5f045d64a5ad076f02d686007687d0a93a082f90;hb=a5b36e99194eb47a4b0db6b01797af33256d6ae4;hp=447f29131c8395cb36f30c0fb24fff0f7f19fccb;hpb=6944d7707315ed7f9cc1ae3986f81a91d01ee106;p=pintos-anon

diff --git a/src/filesys/fsutil.c b/src/filesys/fsutil.c
index 447f291..5f045d6 100644
--- a/src/filesys/fsutil.c
+++ b/src/filesys/fsutil.c
@@ -24,6 +24,7 @@ fsutil_ls (char **argv UNUSED)
     PANIC ("root dir open failed");
   while (dir_readdir (dir, name))
     printf ("%s\n", name);
+  dir_close (dir);
   printf ("End of listing.\n");
 }