diff options
Diffstat (limited to 'src/user/app/init/driver')
| -rw-r--r-- | src/user/app/init/driver/initctl.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/user/app/init/driver/initctl.c b/src/user/app/init/driver/initctl.c index 76d1b1b..67c8ade 100644 --- a/src/user/app/init/driver/initctl.c +++ b/src/user/app/init/driver/initctl.c @@ -29,7 +29,9 @@ void initctl_drv(handle_t killswitch) { } if (!strcmp(buf, "halt")) { _syscall_write(killswitch, "halt", 4, 0, 0); - exit(1); + } + if (!strcmp(buf, "intr")) { + _syscall_write(killswitch, "intr", 4, 0, 0); } c0_fs_respond(NULL, res.len, 0); break; |