diff options
author | dzwdz | 2022-09-02 17:59:50 +0200 |
---|---|---|
committer | dzwdz | 2022-09-02 17:59:50 +0200 |
commit | e7770ccc0fab8f3a4b65bf2f7a1a11ad453f77e4 (patch) | |
tree | 13c445229987cf5415b858806536f2b70b6b5aba /src/user/app | |
parent | c16d956c0dd3d69748f7208e09bb69a6df8c6483 (diff) |
user/init: don't shutdown when a fs driver quits
Diffstat (limited to 'src/user/app')
-rw-r--r-- | src/user/app/init/init.c | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/user/app/init/init.c b/src/user/app/init/init.c index 04380a6..7e6ddab 100644 --- a/src/user/app/init/init.c +++ b/src/user/app/init/init.c @@ -83,15 +83,6 @@ int main(void) { } close(killswitch_pipe[1]); - long cid = fork(); - if (cid > 0) { - /* used to trigger a kernel bug - * 7c96f9c03502e0c60f23f4c550d12a629f3b3daf */ - printf("main at cid %u\n", cid); - _syscall_await(); - exit(1); - } - if (!fork()) { // TODO close on exec close(killswitch_pipe[0]); |