1
0
mirror of https://github.com/MariaDB/server.git synced 2026-01-06 05:22:24 +03:00

Fix build failure.

This commit is contained in:
Nirbhay Choubey
2016-06-24 13:54:04 -04:00
parent 74dd07e962
commit fc799e317d

View File

@@ -2226,7 +2226,7 @@ loop:
if (sync_array_print_long_waits(&waiter, &sema)
&& sema == old_sema && os_thread_eq(waiter, old_waiter)) {
#if defined(WITH_WSREP) && defined(WITH_INNODB_DISALLOW_WRITES)
if (srv_allow_writes_event->is_set) {
if (srv_allow_writes_event->is_set()) {
#endif /* WITH_WSREP */
fatal_cnt++;
#if defined(WITH_WSREP) && defined(WITH_INNODB_DISALLOW_WRITES)