From: Marc-André Lureau <[email protected]>
---
server/red_worker.c | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/server/red_worker.c b/server/red_worker.c
index babb597..538911d 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();
}
--
2.4.3
_______________________________________________
Spice-devel mailing list
[email protected]
http://lists.freedesktop.org/mailman/listinfo/spice-devel
