diff options
author | drh <drh@noemail.net> | 2014-08-11 15:54:11 +0000 |
---|---|---|
committer | drh <drh@noemail.net> | 2014-08-11 15:54:11 +0000 |
commit | ddb17cae386ce5a4ccb920419e9065e7efd65324 (patch) | |
tree | 70458edb3db35d32a75d570221b1313fafcacac7 /src/main.c | |
parent | 490fe86f1a74ca24703b7b63a656915d49180b72 (diff) | |
download | sqlite-ddb17cae386ce5a4ccb920419e9065e7efd65324.tar.gz sqlite-ddb17cae386ce5a4ccb920419e9065e7efd65324.zip |
Updates to evidence marks and requirements. No changes to code.
FossilOrigin-Name: 62d38308b519a5362f559b296a0cf1acccf8f673
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.c b/src/main.c index bf5c38a47..d945106d7 100644 --- a/src/main.c +++ b/src/main.c @@ -827,6 +827,8 @@ static int connectionIsBusy(sqlite3 *db){ */ static int sqlite3Close(sqlite3 *db, int forceZombie){ if( !db ){ + /* EVIDENCE-OF: R-63257-11740 Calling sqlite3_close() or + ** sqlite3_close_v2() with a NULL pointer argument is a harmless no-op. */ return SQLITE_OK; } if( !sqlite3SafetyCheckSickOrOk(db) ){ |