From 1ca9d095128252a22a80301f1b92206f20ad94bf Mon Sep 17 00:00:00 2001 From: Themis Demetriades Date: Wed, 6 Nov 2024 23:01:10 +0000 Subject: [PATCH] Update exit () syscall to print correct termination message --- src/userprog/syscall.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/userprog/syscall.c b/src/userprog/syscall.c index 1dbe73b..9991156 100644 --- a/src/userprog/syscall.c +++ b/src/userprog/syscall.c @@ -105,6 +105,7 @@ syscall_exit (int status) { /* Sets exit_status of the thread to status. thread_exit () will call process_exit () if user programs are allowed. */ + printf ("%s: exit(%d)\n", thread_current()->name, status); thread_current ()->exit_status = status; thread_exit (); }