diff options
Diffstat (limited to 'userprog/process.c')
| -rw-r--r-- | userprog/process.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/userprog/process.c b/userprog/process.c index f399038..80e327d 100644 --- a/userprog/process.c +++ b/userprog/process.c | |||
| @@ -151,13 +151,11 @@ start_process (void *aux) | |||
| 151 | /* If process startup failed, quit. */ | 151 | /* If process startup failed, quit. */ |
| 152 | if (thread->process == NULL) { | 152 | if (thread->process == NULL) { |
| 153 | if (process != NULL) { | 153 | if (process != NULL) { |
| 154 | //TODO: free mmap table + page table? | ||
| 155 | |||
| 156 | /* close/free memory mapped files */ | 154 | /* close/free memory mapped files */ |
| 157 | //mmap_table_free (&process->mmap_table); | 155 | mmap_table_free (&process->mmap_table); |
| 158 | 156 | ||
| 159 | /* free page table */ | 157 | /* free page table */ |
| 160 | //page_table_free (&thread->page_table); | 158 | page_table_free (&thread->page_table); |
| 161 | 159 | ||
| 162 | if (process->fd_table.fds != NULL) | 160 | if (process->fd_table.fds != NULL) |
| 163 | palloc_free_page (process->fd_table.fds); | 161 | palloc_free_page (process->fd_table.fds); |
