diff options
author | Keith Bostic <keith@wiredtiger.com> | 2013-11-16 11:02:37 -0500 |
---|---|---|
committer | Keith Bostic <keith@wiredtiger.com> | 2013-11-16 11:02:37 -0500 |
commit | 6d35ba46b2b6f4dd30d745ac58a9adc83b0a9d13 (patch) | |
tree | 9d0748962344692cf08491dfc069a07412697178 | |
parent | 131102e8e53272e7b5d997c631f8493fddcae1fa (diff) | |
download | mongo-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.c | 2 |
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); |