Add red_channel_get_server()

Instead of poking into the internals of the RedChannel, provide an
accessor.

1 files changed, 2 insertions, 2 deletions

diff --git a/server/inputs-channel.c b/server/inputs-channel.c
index 7de4966e..382b3c57 100644
--- a/server/inputs-channel.c
+++ b/server/inputs-channel.c
@@ -310,7 +310,7 @@ static int inputs_channel_handle_parsed(RedChannelClient *rcc, uint32_t size, ui
     InputsChannel *inputs_channel = (InputsChannel *)rcc->channel;
     InputsChannelClient *icc = (InputsChannelClient *)rcc;
     uint32_t i;
-    RedsState *reds = inputs_channel->base.reds;
+    RedsState *reds = red_channel_get_server((RedChannel*)inputs_channel);
 
     switch (type) {
     case SPICE_MSGC_INPUTS_KEY_DOWN: {
@@ -680,7 +680,7 @@ int inputs_channel_set_keyboard(InputsChannel *inputs, SpiceKbdInstance *keyboar
         return -1;
     }
     inputs->keyboard = keyboard;
-    inputs->keyboard->st = spice_kbd_state_new(inputs->base.reds);
+    inputs->keyboard->st = spice_kbd_state_new(red_channel_get_server((RedChannel*)inputs));
     return 0;
 }