diff options
| -rw-r--r-- | client/red_channel.cpp | 2 | ||||
| -rw-r--r-- | server/red_worker.c | 5 |
2 files changed, 3 insertions, 4 deletions
diff --git a/client/red_channel.cpp b/client/red_channel.cpp index 5523abdb..f5857324 100644 --- a/client/red_channel.cpp +++ b/client/red_channel.cpp @@ -322,7 +322,7 @@ void SendTrigger::on_event() _channel.on_send_trigger(); } -void AbortTrigger::on_event() +SPICE_GNUC_NORETURN void AbortTrigger::on_event() { THROW("abort"); } diff --git a/server/red_worker.c b/server/red_worker.c index 1a0438ea..87118b66 100644 --- a/server/red_worker.c +++ b/server/red_worker.c @@ -11132,7 +11132,7 @@ static void red_display_cc_free_glz_drawables(RedChannelClient *rcc) red_display_handle_glz_drawables_to_free(dcc); } -void *red_worker_main(void *arg) +SPICE_GNUC_NORETURN void *red_worker_main(void *arg) { RedWorker worker; @@ -11206,8 +11206,7 @@ void *red_worker_main(void *arg) } red_push(&worker); } - spice_printerr("exit"); - return 0; + abort(); } #ifdef DUMP_BITMAP |