1
0
mirror of https://github.com/MariaDB/server.git synced 2026-10-23 18:49:29 +03:00

Fix for a segfault.

This commit is contained in:
Nirbhay Choubey
2014-06-10 17:35:44 -04:00
parent c29cbac2eb
commit 1410785e8a

View File

@@ -44,11 +44,11 @@ typedef struct wsrep_dummy
static void dummy_free(wsrep_t *w)
{
WSREP_DBUG_ENTER(w);
free(w->ctx);
if (WSREP_DUMMY(w)->options) {
free(WSREP_DUMMY(w)->options);
WSREP_DUMMY(w)->options = NULL;
}
free(w->ctx);
w->ctx = NULL;
}