diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/red_worker.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server/red_worker.c b/server/red_worker.c index babb597f..538911d6 100644 --- a/server/red_worker.c +++ b/server/red_worker.c @@ -12275,5 +12275,6 @@ SPICE_GNUC_NORETURN void *red_worker_main(void *arg) } red_push(worker); } - abort(); + + spice_warn_if_reached(); } |