[PATCH 3/5] server: Set the worst case time for updating user_shared_data to 15ms

[Arkadiusz Hiler]

On windows ticks counts and other timestamps in user_shared_data seem to be
updated every 15.625ms, so let's err on the shorter side.

Signed-off-by: Arkadiusz Hiler 
---
 server/fd.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/fd.c b/server/fd.c
index 7ea8ac273e..1bdce6c70c 100644
--- a/server/fd.c
+++ b/server/fd.c
@@ -377,7 +377,7 @@ timeout_t current_time;
 timeout_t monotonic_time;

struct _KUSER_SHARED_DATA *user_shared_data = NULL;
-static const int user_shared_data_timeout = 16;
+static const int user_shared_data_timeout = 15;

static void set_user_shared_data_time(void)
 {