| /demos/trunk/newtrace/instr/instr.c |
|---|
| 76,7 → 76,7 |
| p = task_create("Instr",ext_call,&m,NULL); |
| if (p == -1) { |
| sys_shutdown_message("Could not create task <instr> ..."); |
| sys_end(); |
| exit(1); |
| } |
| num++; |
| /demos/trunk/newtrace/instr/initfile.c |
|---|
| 98,7 → 98,6 |
| device_drivers_close(); |
| sys_shutdown_message("-- S.Ha.R.K. Closed --\n"); |
| sys_abort_shutdown(0); |
| return NULL; |
| } |
| 115,7 → 114,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(1); |
| } |
| } |