From bae44d033385679e0f946e1bb40ff4df3795339a Mon Sep 17 00:00:00 2001
From: Imbus <>
Date: Sat, 11 Jan 2025 15:51:10 +0100
Subject: [PATCH] Halt system on shell exit

---
 user/init.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/user/init.c b/user/init.c
index d41844d..0d5102c 100644
--- a/user/init.c
+++ b/user/init.c
@@ -54,7 +54,9 @@ main(void)
       // or if a parentless process exits.
       wpid = wait((int *)0);
       if(wpid == pid) {
-        // the shell exited; restart it.
+        // FIXME: Obviously not how things should be done
+        printf("\nShell exited... Halting\n");
+        halt();
         break;
       } else if(wpid < 0) {
         printf("init: wait returned an error\n");