mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
parent
e131235521
commit
46b7227ef0
@ -110,6 +110,10 @@ extern "C" void *abort(void)
|
||||
myself->name(thread_name, sizeof(thread_name));
|
||||
PWRN("abort called - thread: '%s'", thread_name);
|
||||
|
||||
/* Notify the parent of failure */
|
||||
if (!strcmp("main", thread_name, sizeof(thread_name)))
|
||||
env()->parent()->exit(1);
|
||||
|
||||
sleep_forever();
|
||||
return 0;
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user