diff options
Diffstat (limited to 'server/reds.c')
-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 b3dfb25a..30d0652e 100644 --- a/server/reds.c +++ b/server/reds.c @@ -502,7 +502,7 @@ static void reds_reset_vdp(void) * Instead, it would have been more appropriate to reset them upon AGEN_CONNECT. * The client tokens are tracked as part of the SpiceCharDeviceClientState. Thus, * in order to be backward compatible with the client, we need to track the tokens - * even if the agent is detached. We don't destroy the the char_device state, and + * even if the agent is detached. We don't destroy the char_device state, and * instead we just reset it. * In addition, there used to be a misshandling of AGENT_TOKENS message in spice-gtk: it * overrides the amount of tokens, instead of adding the given amount. |