markClosed method

void markClosed(
  1. Database db
)

Marks the database db as closed.

Implementation

void markClosed(Database db) {
  final ptr = db.handle.address;
  _db?.execute('DELETE FROM $_tableName WHERE $_ptrColName = $ptr');
}