diff --git a/pkg/urbit/include/noun/manage.h b/pkg/urbit/include/noun/manage.h index 5c522bcd17..89f50d6037 100644 --- a/pkg/urbit/include/noun/manage.h +++ b/pkg/urbit/include/noun/manage.h @@ -44,6 +44,11 @@ void u3m_pave(c3_o nuu_o); + /* u3m_signal(): treat a nock-level exception as a signal interrupt. + */ + void + u3m_signal(u3_noun sig_l); + /* u3m_file(): load file, as atom, or bail. */ u3_noun diff --git a/pkg/urbit/noun/events.c b/pkg/urbit/noun/events.c index 34dcb34cfc..a8795b3c0b 100644 --- a/pkg/urbit/noun/events.c +++ b/pkg/urbit/noun/events.c @@ -277,7 +277,7 @@ u3e_fault(void* adr_v, c3_i ser_i) return 1; fail: - u3m_bail(c3__meme); + u3m_signal(c3__meme); #undef center_guard_page }