From 917140c4050989e53f64f7273fa6e0281bfcb011 Mon Sep 17 00:00:00 2001
From: yuoo655 <lenuulan@gmail.com>
Date: Mon, 16 May 2022 06:35:04 +0800
Subject: [PATCH] initiatively exit child in forktree

---
 user/src/bin/forktree.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/user/src/bin/forktree.rs b/user/src/bin/forktree.rs
index bfcfc4c..2d225c1 100644
--- a/user/src/bin/forktree.rs
+++ b/user/src/bin/forktree.rs
@@ -21,6 +21,7 @@ fn fork_child(cur: &str, branch: char) {
         yield_();
         exit(0);
     }
+    exit(0);
 }
 
 fn fork_tree(cur: &str) {