1
0
mirror of https://github.com/MariaDB/server.git synced 2025-08-01 03:47:19 +03:00

MDEV-13384 - misc Windows warnings fixed

This commit is contained in:
Vladislav Vaintroub
2017-09-28 10:38:02 +00:00
parent 509928718d
commit 7354dc6773
147 changed files with 545 additions and 491 deletions

View File

@ -1733,7 +1733,7 @@ public:
private:
void move_cursor_if_possible()
{
int rows_difference= n_rows - n_rows_behind;
longlong rows_difference= n_rows - n_rows_behind;
if (rows_difference > 0) /* We still have to wait. */
return;