mirror of
https://github.com/MariaDB/server.git
synced 2025-08-09 22:24:09 +03:00
fixes for wsrep-5.5 merges
This commit is contained in:
@@ -424,8 +424,8 @@ int wsrep_thd_is_brute_force(void *thd_ptr)
|
|||||||
case TOTAL_ORDER: return 2;
|
case TOTAL_ORDER: return 2;
|
||||||
case LOCAL_COMMIT: return 3;
|
case LOCAL_COMMIT: return 3;
|
||||||
}
|
}
|
||||||
|
DBUG_ASSERT(0);
|
||||||
}
|
}
|
||||||
DBUG_ASSERT(0);
|
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Reference in New Issue
Block a user