[Spice-commits] server/main-channel-client.c server/main-channel-client.h server/main-channel.c server/main-channel.h

[Frediano Ziglio]

 server/main-channel-client.c |    2 +-
 server/main-channel-client.h |    2 +-
 server/main-channel.c        |    2 +-
 server/main-channel.h        |    2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

New commits:
commit 1fef2f507d417449c333f070dac004ff9a796926
Author: Frediano Ziglio <fziglio at redhat.com>
Date:   Tue Aug 29 11:15:20 2017 +0100

    main-channel: Fix multimedia time argument type
    
    The multimedia time is defined as uint32_t.
    Use the proper type instead of int.
    Currently no arithmetic is done on this value but
    just copies so considering that on the architectures
    we support sizeof(int) == sizeof(uint32_t) there's
    no change in the resulting machine code.
    
    Signed-off-by: Frediano Ziglio <fziglio at redhat.com>
    Acked-by: Jonathon Jongsma <jjongsma at redhat.com>

diff --git a/server/main-channel-client.c b/server/main-channel-client.c
index 82b578c8..db8e4823 100644
--- a/server/main-channel-client.c
+++ b/server/main-channel-client.c
@@ -116,7 +116,7 @@ typedef struct RedMouseModePipeItem {
 
 typedef struct RedMultiMediaTimePipeItem {
     RedPipeItem base;
-    int time;
+    uint32_t time;
 } RedMultiMediaTimePipeItem;
 
 #define ZERO_BUF_SIZE 4096
diff --git a/server/main-channel-client.h b/server/main-channel-client.h
index a2e38c2f..0f8e4f49 100644
--- a/server/main-channel-client.h
+++ b/server/main-channel-client.h
@@ -132,7 +132,7 @@ typedef struct MainMouseModeItemInfo {
 RedPipeItem *main_mouse_mode_item_new(RedChannelClient *rcc, void *data, int num);
 
 typedef struct MainMultiMediaTimeItemInfo {
-    int time;
+    uint32_t time;
 } MainMultiMediaTimeItemInfo;
 
 RedPipeItem *main_multi_media_time_item_new(RedChannelClient *rcc,
diff --git a/server/main-channel.c b/server/main-channel.c
index 4834f79b..982b6203 100644
--- a/server/main-channel.c
+++ b/server/main-channel.c
@@ -145,7 +145,7 @@ static bool main_channel_handle_migrate_data(RedChannelClient *rcc,
                                     size);
 }
 
-void main_channel_push_multi_media_time(MainChannel *main_chan, int time)
+void main_channel_push_multi_media_time(MainChannel *main_chan, uint32_t time)
 {
     MainMultiMediaTimeItemInfo info = {
         .time = time,
diff --git a/server/main-channel.h b/server/main-channel.h
index 833957dd..eb3bcec3 100644
--- a/server/main-channel.h
+++ b/server/main-channel.h
@@ -65,7 +65,7 @@ void main_channel_push_mouse_mode(MainChannel *main_chan, SpiceMouseMode current
                                   int is_client_mouse_allowed);
 void main_channel_push_agent_connected(MainChannel *main_chan);
 void main_channel_push_agent_disconnected(MainChannel *main_chan);
-void main_channel_push_multi_media_time(MainChannel *main_chan, int time);
+void main_channel_push_multi_media_time(MainChannel *main_chan, uint32_t time);
 
 int main_channel_is_connected(MainChannel *main_chan);