Fix Bug: Free all entries in the fd hashtable when the process exits, w/ E

src/userprog/process.c

@@ -325,6 +325,11 @@ process_exit (void)
   uint32_t *pd;
 
   printf ("%s: exit(%d)\n", cur->name, cur->exit_status);
+
+  /* Clean up all open files */
+  hash_destroy (&cur->open_files, fd_cleanup);
+
+  /* Close the executable file. */
   if (cur->exec_file != NULL)
     {
       lock_acquire (&filesys_lock);