| /demos/trunk/loader/shark/initfile.c |
|---|
| 121,8 → 121,6 |
| device_drivers_close(); |
| sys_shutdown_message("-- S.Ha.R.K. Closed --\n"); |
| sys_abort_shutdown(0); |
| return NULL; |
| } |
| 138,7 → 136,7 |
| shutdown_task_PID = task_create("Shutdown Task", shutdown_task_body, &nrt, NULL); |
| if (shutdown_task_PID == NIL) { |
| sys_shutdown_message("Error: Cannot create shutdown task\n"); |
| sys_end(); |
| exit(0); |
| } |
| } |