From: Marc-André Lureau <marcandre.lureau@xxxxxxxxxx> --- server/reds.c | 5 ----- server/reds.h | 1 - 2 files changed, 6 deletions(-) diff --git a/server/reds.c b/server/reds.c index 146dfc7..6197547 100644 --- a/server/reds.c +++ b/server/reds.c @@ -3486,11 +3486,6 @@ uint32_t reds_get_mm_time(void) return time_space.tv_sec * 1000 + time_space.tv_nsec / 1000 / 1000; } -void reds_update_mm_timer(uint32_t mm_time) -{ - red_dispatcher_set_mm_time(mm_time); -} - void reds_enable_mm_timer(void) { core->timer_start(reds->mm_timer, MM_TIMER_GRANULARITY_MS); diff --git a/server/reds.h b/server/reds.h index 1c5ae84..24b4d95 100644 --- a/server/reds.h +++ b/server/reds.h @@ -122,7 +122,6 @@ void reds_handle_channel_event(int event, SpiceChannelEventInfo *info); void reds_disable_mm_timer(void); void reds_enable_mm_timer(void); -void reds_update_mm_timer(uint32_t mm_time); uint32_t reds_get_mm_time(void); void reds_set_client_mouse_allowed(int is_client_mouse_allowed, int x_res, int y_res); -- 1.8.3.1 _______________________________________________ Spice-devel mailing list Spice-devel@xxxxxxxxxxxxxxxxxxxxx http://lists.freedesktop.org/mailman/listinfo/spice-devel