the exit status due to calling (exit n) is
: n if n is a fixnum : EXIT_FAILURE otherwise
This commit is contained in:
parent
e65629cb9e
commit
356a809970
|
@ -978,7 +978,11 @@ ikp
|
||||||
ikrt_exit(ikp status, ikpcb* pcb){
|
ikrt_exit(ikp status, ikpcb* pcb){
|
||||||
ik_delete_pcb(pcb);
|
ik_delete_pcb(pcb);
|
||||||
assert(total_allocated_pages == 0);
|
assert(total_allocated_pages == 0);
|
||||||
exit((int)status);
|
if(is_fixnum(status)){
|
||||||
|
exit(unfix(status));
|
||||||
|
} else {
|
||||||
|
exit(EXIT_FAILURE);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
ikp
|
ikp
|
||||||
|
|
Loading…
Reference in New Issue