diff options
| -rw-r--r-- | server/char-device.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server/char-device.c b/server/char-device.c index 6704678c..53bfe823 100644 --- a/server/char-device.c +++ b/server/char-device.c @@ -211,6 +211,7 @@ static void spice_char_device_client_free(SpiceCharDeviceState *dev, if (dev_client->wait_for_tokens_timer) { reds_core_timer_remove(dev->priv->reds, dev_client->wait_for_tokens_timer); + dev_client->wait_for_tokens_timer = NULL; } spice_char_device_client_send_queue_free(dev, dev_client); |