[Spice-devel] [PATCH 01/18] Change spice_server_set_ticket() to use local 'reds'

[Frediano Ziglio]

From: Jonathon Jongsma <jjongsma at redhat.com>

Rather than using global 'reds' variable
---
 server/reds.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/server/reds.c b/server/reds.c
index 9ec80f2..ba6ab43 100644
--- a/server/reds.c
+++ b/server/reds.c
@@ -3583,13 +3583,11 @@ SPICE_GNUC_VISIBLE void spice_server_set_uuid(SpiceServer *s, const uint8_t uuid
     s->spice_uuid_is_set = TRUE;
 }
 
-SPICE_GNUC_VISIBLE int spice_server_set_ticket(SpiceServer *s,
+SPICE_GNUC_VISIBLE int spice_server_set_ticket(SpiceServer *reds,
                                                const char *passwd, int lifetime,
                                                int fail_if_connected,
                                                int disconnect_if_connected)
 {
-    spice_assert(reds == s);
-
     if (reds_main_channel_connected(reds)) {
         if (fail_if_connected) {
             return -1;
-- 
2.4.3