summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeith Bostic <keith@wiredtiger.com>2013-11-16 11:02:37 -0500
committerKeith Bostic <keith@wiredtiger.com>2013-11-16 11:02:37 -0500
commit6d35ba46b2b6f4dd30d745ac58a9adc83b0a9d13 (patch)
tree9d0748962344692cf08491dfc069a07412697178
parent131102e8e53272e7b5d997c631f8493fddcae1fa (diff)
downloadmongo-6d35ba46b2b6f4dd30d745ac58a9adc83b0a9d13.tar.gz
Should never happen, but lint points out session can theoretically be
a NULL value at the end of this loop.
-rw-r--r--test/format/ops.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/test/format/ops.c b/test/format/ops.c
index daffbc450da..cfe3f00ca00 100644
--- a/test/format/ops.c
+++ b/test/format/ops.c
@@ -429,7 +429,7 @@ deadlock: ++tinfo->deadlock;
}
}
- if ((ret = session->close(session, NULL)) != 0)
+ if (session != NULL && (ret = session->close(session, NULL)) != 0)
die(ret, "session.close");
free(keybuf);