diff options
Diffstat (limited to 'userspace/init.c')
| -rw-r--r-- | userspace/init.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/userspace/init.c b/userspace/init.c index 6484b78..a82a597 100644 --- a/userspace/init.c +++ b/userspace/init.c @@ -10,10 +10,8 @@ int main(int argc, char **argv) time_t ltime; time(<ime); printf("Current time: %s", ctime(<ime)); - printf("fool-init: spawning a Fool's Shell\n"); - //while(1)printf("x"); // loop forever and spawn shells if the top-shell exits while(1) @@ -33,10 +31,8 @@ int main(int argc, char **argv) // wait until our child process state changes (exits) // and respawn SHELL - while(1); _wait(&status); - printf("fool-init: catched exit of process %d.\n",pid); printf("fool-init: respawning a Fools Shell\n"); |