summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc-André Lureau <marcandre.lureau@redhat.com>2013-11-18 10:28:27 (GMT)
committerMarc-André Lureau <marcandre.lureau@gmail.com>2014-09-08 12:49:29 (GMT)
commit5eb9967dbc508d99a4b2bec49a51f3510c91e022 (patch)
tree23b432d075f592545981bf48bf87cea5f27a63bf
parent004744fd2f94bfded9037d459965330629cc8805 (diff)
clean-up: remove unused functionHEADmaster
-rw-r--r--server/reds.c5
-rw-r--r--server/reds.h1
2 files changed, 0 insertions, 6 deletions
diff --git a/server/reds.c b/server/reds.c
index 605b023..6864d36 100644
--- a/server/reds.c
+++ b/server/reds.c
@@ -2794,11 +2794,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 eabe0af..371ba96 100644
--- a/server/reds.h
+++ b/server/reds.h
@@ -56,7 +56,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);