On 6/21/19 12:45 PM, Frediano Ziglio wrote:
Signed-off-by: Frediano Ziglio <fzig...@redhat.com>

Ack.

Uri.

---
  server/dcc-send.c | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/dcc-send.c b/server/dcc-send.c
index ea2128e27..b14619a2b 100644
--- a/server/dcc-send.c
+++ b/server/dcc-send.c
@@ -1834,7 +1834,7 @@ static void 
display_channel_marshall_migrate_data(RedChannelClient *rcc,
      spice_marshaller_add_uint32(base_marshaller, 
SPICE_MIGRATE_DATA_DISPLAY_VERSION);
spice_assert(dcc->priv->pixmap_cache);
-    spice_assert(MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == 4 &&
+    SPICE_VERIFY(MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == 4 &&
                   MIGRATE_DATA_DISPLAY_MAX_CACHE_CLIENTS == MAX_CACHE_CLIENTS);
display_data.message_serial = red_channel_client_get_message_serial(rcc);


_______________________________________________
Spice-devel mailing list
Spice-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/spice-devel

Reply via email to