diff options
| author | Christophe Fergeau <cfergeau@redhat.com> | 2019-02-08 16:12:36 +0100 |
|---|---|---|
| committer | Christophe Fergeau <cfergeau@redhat.com> | 2019-02-08 17:50:36 +0100 |
| commit | 78513ff2454b5fc29bfc862e94aa268dee6355c6 (patch) | |
| tree | aed540738932ea6a949f090ff7fa327be5e83109 | |
| parent | c31c264dc693023042c46b4d80041969223ffc75 (diff) | |
fixup! Use RedChannelClient instead of RedClient in CharDevice::send_tokens_to_clientchar-device-new
| -rw-r--r-- | server/reds.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/server/reds.c b/server/reds.c index 314fcc75..556e1033 100644 --- a/server/reds.c +++ b/server/reds.c @@ -1009,7 +1009,7 @@ static void vdi_port_send_tokens_to_client(RedCharDevice *self, RedChannelClient *rcc, uint32_t tokens) { - main_channel_client_push_agent_tokens(rcc, tokens); + main_channel_client_push_agent_tokens(MAIN_CHANNEL_CLIENT(rcc), tokens); } static void vdi_port_on_free_self_token(RedCharDevice *self) |