commit ddb17cae386ce5a4ccb920419e9065e7efd65324
author drh <drh@noemail.net> Mon Aug 11 15:54:11 2014 +0000
committer drh <drh@noemail.net> Mon Aug 11 15:54:11 2014 +0000
tree 70458edb3db35d32a75d570221b1313fafcacac7
parent 490fe86f1a74ca24703b7b63a656915d49180b72

Updates to evidence marks and requirements.  No changes to code.

FossilOrigin-Name: 62d38308b519a5362f559b296a0cf1acccf8f673

src/main.c

diff --git a/src/main.c b/src/main.c
index bf5c38a..d945106 100644
--- a/src/main.c
+++ b/src/main.c
@@ -827,6 +827,8 @@
 */
 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) ){