Force 64 bit multiplication on 32 bit systems; fixes a bug where the server times out the display channel freakily fast.

This commit is contained in:
Jeremy White
2012-04-27 11:29:31 +03:00
committed by Alon Levy
parent 91210c671f
commit 8d3ebe31dd
+1 -1
View File
@@ -4636,7 +4636,7 @@ static inline uint64_t red_now(void)
clock_gettime(CLOCK_MONOTONIC, &time);
return time.tv_sec * 1000000000 + time.tv_nsec;
return ((uint64_t) time.tv_sec) * 1000000000 + time.tv_nsec;
}
static int red_process_cursor(RedWorker *worker, uint32_t max_pipe_size, int *ring_is_empty)