mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 11:55:24 +00:00
parent
00f16be122
commit
c3be0b417a
@ -290,7 +290,7 @@ class Kernel::Thread
|
||||
*/
|
||||
void crash()
|
||||
{
|
||||
cpu_scheduler()->remove(this);
|
||||
if (_state == SCHEDULED) { cpu_scheduler()->remove(this); }
|
||||
_state = CRASHED;
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user