From 14a72485d73cd9aa61b5ab3c914f2d2e3ba6e537 Mon Sep 17 00:00:00 2001
From: CCXXXI <ccxxxi@qq.com>
Date: Mon, 11 Jan 2021 02:25:52 +0800
Subject: [PATCH] fix bug when load failed

---
 src/userprog/process.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/userprog/process.c b/src/userprog/process.c
index ad8de16..8aba765 100644
--- a/src/userprog/process.c
+++ b/src/userprog/process.c
@@ -232,9 +232,11 @@ void process_exit(void)
     self->thread = NULL;
     self->status = PROCESS_EXITED;
 
-    ASSERT(self->file != NULL);
-    file_allow_write(self->file);
-    file_close(self->file);
+    if (self->file != NULL)
+    {
+        file_allow_write(self->file);
+        file_close(self->file);
+    }
 
     sema_up(&self->sema_wait);
 }