* user_debug_fault_occurred() -> user_debug_exception_occurred().
* No longer kill the time when a page fault occurs, but rather send a SIGSEGV. git-svn-id: file:///srv/svn/repos/haiku/trunk/current@11705 a95241bf-73f2-0310-859d-f6bbb57e9c96
This commit is contained in:
parent
20b656f066
commit
d00bf1778d
@ -2217,10 +2217,8 @@ vm_page_fault(addr_t address, addr_t fault_address, bool is_write, bool is_user,
|
|||||||
release_sem_etc(map->sem, READ_COUNT, 0);
|
release_sem_etc(map->sem, READ_COUNT, 0);
|
||||||
vm_put_aspace(aspace);
|
vm_put_aspace(aspace);
|
||||||
#endif
|
#endif
|
||||||
if (user_debug_fault_occurred(B_SEGMENT_VIOLATION))
|
if (user_debug_exception_occurred(B_SEGMENT_VIOLATION, SIGSEGV))
|
||||||
kill_team(team_get_current_team_id());
|
send_signal(team_get_current_team_id(), SIGSEGV);
|
||||||
// bonefish: ToDo: Shouldn't we send a SIGSEGV instead of
|
|
||||||
// killing the team straight away?
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user