18,11 → 18,11 |
|
/** |
------------ |
CVS : $Id: kern.c,v 1.9 2004-03-31 10:40:24 giacomo Exp $ |
CVS : $Id: kern.c,v 1.10 2004-04-18 18:59:28 giacomo Exp $ |
|
File: $File$ |
Revision: $Revision: 1.9 $ |
Last update: $Date: 2004-03-31 10:40:24 $ |
Revision: $Revision: 1.10 $ |
Last update: $Date: 2004-04-18 18:59:28 $ |
------------ |
|
This file contains: |
574,6 → 574,11 |
We do nothing for user tasks that remain active (because, for example, |
they have the cancelability set to deferred) when the system goes to |
runlevel 3 */ |
|
struct timespec t = {SYSTEM_CLOSE_TIMEOUT,0}; |
|
kern_event_post(&t,(void *)((void *)sys_abort),NULL); |
|
//kern_printf("Û%lu",kern_gettime(NULL)); |
kill_user_tasks(); |
//kern_printf("Û%lu",kern_gettime(NULL)); |
703,6 → 708,8 |
{ |
SYS_FLAGS f; |
|
cprintf("SYS-END\n"); |
|
f = kern_fsave(); |
internal_sys_end(err); |
kern_frestore(f); |