diff options
author | dzwdz | 2023-08-15 19:23:58 +0200 |
---|---|---|
committer | dzwdz | 2023-08-15 19:23:58 +0200 |
commit | 070b19e2948b3a03669b0f1888f1661b0d196275 (patch) | |
tree | c006fa6b1e64e4d0927bb7ad0746d12a54f6973d /src/cmd/init/init.c | |
parent | 642b5fb0007b64c77d186fcb018d571152ee1d47 (diff) |
user: fix freeze if graphical shell was quit
Diffstat (limited to 'src/cmd/init/init.c')
-rw-r--r-- | src/cmd/init/init.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/cmd/init/init.c b/src/cmd/init/init.c index fcebfc7..d221a7f 100644 --- a/src/cmd/init/init.c +++ b/src/cmd/init/init.c @@ -31,11 +31,11 @@ void redirect(const char *exe, const char *out, const char *in) { termcook(); execv(exe, (void*)argv); fprintf(stderr, "init: couldn't start %s\n", exe); - _sys_sleep(5000); exit(1); } _sys_await(); _sys_intr(); + _sys_sleep(1000); } } } |